From 01e0c31baeddf2e5005b1804c20a60547c5e2389 Mon Sep 17 00:00:00 2001
From: Mathijs Kwik <mathijs@bluescreen303.nl>
Date: Thu, 22 Mar 2012 22:37:08 +0000
Subject: [PATCH] haskell-lazysmallcheck

svn path=/nixpkgs/trunk/; revision=33363
---
 pkgs/development/compilers/uhc/default.nix      |  5 +++--
 .../haskell/lazysmallcheck/default.nix          | 17 +++++++++++++++++
 pkgs/top-level/haskell-packages.nix             |  2 ++
 3 files changed, 22 insertions(+), 2 deletions(-)
 create mode 100644 pkgs/development/libraries/haskell/lazysmallcheck/default.nix

diff --git a/pkgs/development/compilers/uhc/default.nix b/pkgs/development/compilers/uhc/default.nix
index 8cd0a2e7944e..d2fe6150374d 100644
--- a/pkgs/development/compilers/uhc/default.nix
+++ b/pkgs/development/compilers/uhc/default.nix
@@ -3,7 +3,7 @@
 }:
 
 let
-  revision = "2426";
+  revision = "2495";
 in
 stdenv.mkDerivation {
   name = "uhc-svn-${revision}";
@@ -11,7 +11,7 @@ stdenv.mkDerivation {
   src = fetchsvn {
      url = "https://subversion.cs.uu.nl/repos/project.UHC.pub/trunk/EHC";
      rev = revision;
-     sha256 = "06963edb673697f3eac357eccdc6d4bf7fbe7b9b92a96e3e329a4caf53f85c4c";
+     sha256 = "0402cb05629454e29bdca02051406bc9e515d2525a785c85079469b674378fca";
   };
 
   propagatedBuildInputs = [mtl network binary fgl syb];
@@ -30,6 +30,7 @@ stdenv.mkDerivation {
     sed -i "s|--user|--package-db=$p|g" mk/shared.mk.in
     sed -i "s|-fglasgow-exts|-fglasgow-exts -package-conf=$p|g" mk/shared.mk.in
     sed -i "s|/bin/date|${coreutils}/bin/date|g" mk/dist.mk
+    sed -i "s|/bin/date|${coreutils}/bin/date|g" mk/config.mk.in
   '';
 
   meta = {
diff --git a/pkgs/development/libraries/haskell/lazysmallcheck/default.nix b/pkgs/development/libraries/haskell/lazysmallcheck/default.nix
new file mode 100644
index 000000000000..5881baf7430b
--- /dev/null
+++ b/pkgs/development/libraries/haskell/lazysmallcheck/default.nix
@@ -0,0 +1,17 @@
+{ cabal }:
+
+cabal.mkDerivation (self: {
+  pname = "lazysmallcheck";
+  version = "0.6";
+  sha256 = "0lqggm75m1qd34lzqj3ibvnjwhjqvq16cab8zxm4yzn7j2sxzm4x";
+  meta = {
+    homepage = "http://www.cs.york.ac.uk/~mfn/lazysmallcheck/";
+    description = "A library for demand-driven testing of Haskell programs";
+    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 75cf015e31ab..66c074ac17ed 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -950,6 +950,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
 
   largeword = callPackage ../development/libraries/haskell/largeword {};
 
+  lazysmallcheck = callPackage ../development/libraries/haskell/lazysmallcheck {};
+
   leksahServer = callPackage ../development/libraries/haskell/leksah/leksah-server.nix {};
 
   libmpd = callPackage ../development/libraries/haskell/libmpd {};