diff options
| author | John Ericson <Ericson2314@Yahoo.com> | 2015-05-30 19:30:24 +0000 |
|---|---|---|
| committer | John Ericson <Ericson2314@Yahoo.com> | 2015-05-31 01:54:09 +0000 |
| commit | 9b31a07b0de58b5996ecc6b953350af3838d1706 (patch) | |
| tree | 42d3b08ead7cf7fb122c0e986a897c717d9dd320 /pkgs/build-support/agda | |
| parent | 21b10ab44fa8f28f36990085853d9d2708d694db (diff) | |
agda: Just `with` all of the string helper functions
Diffstat (limited to 'pkgs/build-support/agda')
| -rw-r--r-- | pkgs/build-support/agda/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index 74debe79efc69..0bdc049934a77 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -7,12 +7,12 @@ , extension ? (self: super: {}) }: +with stdenv.lib.strings; + let optionalString = stdenv.lib.optionalString; filter = stdenv.lib.filter; - concatMapStringsSep = stdenv.lib.strings.concatMapStringsSep; - concatMapStrings = stdenv.lib.strings.concatMapStrings; - unwords = stdenv.lib.strings.concatStringsSep " "; + unwords = concatStringsSep " "; mapInside = xs: unwords (map (x: x + "/*") xs); defaults = self : { |