From e1d9e2f1de34db6251c04e0f8d1d9de0b9d182fc Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Mon, 7 Nov 2022 12:17:02 +0000
Subject: [PATCH] should-not-typecheck: init at 2.1.0
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/should-not-typecheck.nix | 35 +++++++++++++++++++++++++++++++++++
3 files changed, 38 insertions(+)
create mode 100644 pkgs/should-not-typecheck.nix
diff --git a/manifest.dhall b/manifest.dhall
index 885cc288..f46c4d3e 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -662,6 +662,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "shakespeare" "2.0.30"
, callHackage "shake" "0.19.6"
, callHackage "shelly" "1.10.0"
+ , callHackage "should-not-typecheck" "2.1.0"
, callHackage "silently" "1.2.5.3"
, callHackage "simple-reflect" "0.3.3"
, callHackage "simple-sendfile" "0.2.30"
diff --git a/overlay.nix b/overlay.nix
index 2b3d4480..9ddd6b3c 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -999,6 +999,8 @@ self: with pkgs.haskell.lib; {
shelly = self.callPackage (./pkgs/shelly.nix) { };
+ should-not-typecheck = self.callPackage (./pkgs/should-not-typecheck.nix) { };
+
silently = self.callPackage (./pkgs/silently.nix) { };
simple-reflect = self.callPackage (./pkgs/simple-reflect.nix) { };
diff --git a/pkgs/should-not-typecheck.nix b/pkgs/should-not-typecheck.nix
new file mode 100644
index 00000000..4abcfdec
--- /dev/null
+++ b/pkgs/should-not-typecheck.nix
@@ -0,0 +1,35 @@
+{ mkDerivation
+, base
+, deepseq
+, hspec
+, hspec-expectations
+, HUnit
+, lib
+}:
+mkDerivation {
+ pname = "should-not-typecheck";
+ version = "2.1.0";
+ sha256 = "f538ac70ce07679bc2e6c1651db82a86866664ab995665fdc78e6cb12bd8d591";
+ isLibrary = true;
+ isExecutable = false;
+ enableSeparateDataOutput = false;
+ libraryHaskellDepends = [ base deepseq HUnit ];
+ testHaskellDepends = [
+ base
+ deepseq
+ hspec
+ hspec-expectations
+ HUnit
+ ];
+ enableLibraryProfiling = false;
+ enableExecutableProfiling = false;
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ doBenchmark = false;
+ hyperlinkSource = false;
+ homepage = "http://github.com/CRogers/should-not-typecheck";
+ description = "A HUnit/hspec assertion library to verify that an expression does not typecheck";
+ license = lib.licenses.bsd3;
+ broken = false;
+}
--
GitLab