From 9b31a07b0de58b5996ecc6b953350af3838d1706 Mon Sep 17 00:00:00 2001
From: John Ericson <Ericson2314@Yahoo.com>
Date: Sat, 30 May 2015 19:30:24 +0000
Subject: [PATCH] agda: Just `with` all of the string helper functions

---
 pkgs/build-support/agda/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index 74debe79efc..0bdc049934a 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 : {