From a01c7b5a1525d333c29a05e61bcb249c934ccbf6 Mon Sep 17 00:00:00 2001
From: Shea Levy <shea@shealevy.com>
Date: Fri, 27 Nov 2015 09:57:49 -0500
Subject: [PATCH] idris-modules: Filter out default.nix

---
 pkgs/development/idris-modules/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix
index 8388eb96bbf..da879fa6cf4 100644
--- a/pkgs/development/idris-modules/default.nix
+++ b/pkgs/development/idris-modules/default.nix
@@ -25,9 +25,9 @@
       pruviloj = [ self.prelude self.base ];
     };
 
-    files = builtins.filter (n: n != null) (pkgs.lib.mapAttrsToList (name: type: let
+    files = builtins.filter (n: n != "default") (pkgs.lib.mapAttrsToList (name: type: let
       m = builtins.match "(.*)\.nix" name;
-    in if m == null then null else builtins.head m) (builtins.readDir ./.));
+    in if m == null then "default" else builtins.head m) (builtins.readDir ./.));
   in (builtins.listToAttrs (map (name: { inherit name; value = callPackage (./. + "/${name}.nix") {}; }) files)) // {
     inherit idris callPackage;