From 187670c7dad7afcba31eb585bb4e434fb6d96009 Mon Sep 17 00:00:00 2001
From: Mathijs Kwik <mathijs@bluescreen303.nl>
Date: Tue, 4 Jun 2013 18:11:31 +0200
Subject: [PATCH] add haskell/idris

---
 pkgs/development/compilers/idris/default.nix | 23 ++++++++++++++++++++
 pkgs/top-level/haskell-packages.nix          |  2 ++
 2 files changed, 25 insertions(+)
 create mode 100644 pkgs/development/compilers/idris/default.nix

diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix
new file mode 100644
index 00000000000..225f8afcd82
--- /dev/null
+++ b/pkgs/development/compilers/idris/default.nix
@@ -0,0 +1,23 @@
+{ cabal, binary, Cabal, filepath, gmp, happy, haskeline
+, languageJava, libffi, mtl, parsec, split, text, transformers
+}:
+
+cabal.mkDerivation (self: {
+  pname = "idris";
+  version = "0.9.8";
+  sha256 = "1mxc6mic3d508ni9pqxw8q31f27shyaxs1rchfl2jg58i9w6iy7h";
+  isLibrary = false;
+  isExecutable = true;
+  buildDepends = [
+    binary Cabal filepath haskeline languageJava libffi mtl parsec
+    split text transformers
+  ];
+  buildTools = [ happy ];
+  extraLibraries = [ gmp ];
+  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;
+  };
+})
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index 679186b9a60..92e09207829 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -2242,6 +2242,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
 
   darcs = callPackage ../applications/version-management/darcs {};
 
+  idris = callPackage ../development/compilers/idris {};
+
   leksah = callPackage ../applications/editors/leksah {
     QuickCheck = self.QuickCheck2;
   };