From cd470bc2967eb83663eccec14e501d3dfeff1e5c Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Tue, 23 Apr 2013 15:04:02 +0200
Subject: [PATCH] idris: drop obsolete package, it doesn't compile anywhere

---
 pkgs/development/compilers/idris/default.nix | 25 --------------------
 pkgs/top-level/haskell-packages.nix          |  2 --
 2 files changed, 27 deletions(-)
 delete mode 100644 pkgs/development/compilers/idris/default.nix

diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix
deleted file mode 100644
index 982f43ec2e9..00000000000
--- a/pkgs/development/compilers/idris/default.nix
+++ /dev/null
@@ -1,25 +0,0 @@
-{ cabal, binary, Cabal, filepath, happy, haskeline, mtl, parsec
-, split, transformers
-}:
-
-cabal.mkDerivation (self: {
-  pname = "idris";
-  version = "0.9.7";
-  sha256 = "0y3rnxbs2s7kxlzlc347vwpylw2p0pdz50zgkyii21gd6klqvd45";
-  isLibrary = false;
-  isExecutable = true;
-  buildDepends = [
-    binary Cabal filepath haskeline mtl parsec split transformers
-  ];
-  buildTools = [ happy ];
-  meta = {
-    homepage = "http://www.idris-lang.org/";
-    description = "Functional Programming Language with Dependent Types";
-    license = self.stdenv.lib.licenses.bsd3;
-    platforms = self.ghc.meta.platforms;
-    maintainers = [
-      self.stdenv.lib.maintainers.andres
-      self.stdenv.lib.maintainers.simons
-    ];
-  };
-})
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index 3248742b205..ec6fe741394 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -2060,8 +2060,6 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
 
   flapjax = callPackage ../development/compilers/flapjax {};
 
-  idris = callPackage ../development/compilers/idris {};
-
   pakcs = callPackage ../development/compilers/pakcs {};
 
   # Development tools.