From aa8b40e2ab3984b3ff3612b9088b9fdacec234cb Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Sat, 5 Nov 2022 09:57:35 +0000
Subject: [PATCH] inspection-testing: init at 0.5
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/inspection-testing.nix | 37 +++++++++++++++++++++++++++++++++++++
3 files changed, 40 insertions(+)
create mode 100644 pkgs/inspection-testing.nix
diff --git a/manifest.dhall b/manifest.dhall
index fcea876e..0e01a31d 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -308,6 +308,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "indexed-traversable" "0.1.2"
, callHackage "indexed-traversable-instances" "0.1.1.1"
, callHackage "infer-license" "0.2.0"
+ , callHackage "inspection-testing" "0.5"
, callHackage "integer-logarithms" "1.0.3.1"
, callHackage "invariant" "0.6"
, callHackage "ipynb" "0.2"
diff --git a/overlay.nix b/overlay.nix
index f5ac1359..926fb019 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -385,6 +385,8 @@ final: prev: with pkgs.haskell.lib; {
infer-license = prev.callPackage (./pkgs/infer-license.nix) { };
+ inspection-testing = prev.callPackage (./pkgs/inspection-testing.nix) { };
+
integer-logarithms = prev.callPackage (./pkgs/integer-logarithms.nix) { };
invariant = prev.callPackage (./pkgs/invariant.nix) { };
diff --git a/pkgs/inspection-testing.nix b/pkgs/inspection-testing.nix
new file mode 100644
index 00000000..903ae496
--- /dev/null
+++ b/pkgs/inspection-testing.nix
@@ -0,0 +1,37 @@
+{ mkDerivation
+, base
+, containers
+, ghc
+, lib
+, mtl
+, template-haskell
+, transformers
+}:
+mkDerivation {
+ pname = "inspection-testing";
+ version = "0.5";
+ sha256 = "b071b714006f7980a2d71ff8bf24cf33289e334a540f4e3121fcb094a6dd5cc5";
+ isLibrary = true;
+ isExecutable = false;
+ enableSeparateDataOutput = false;
+ libraryHaskellDepends = [
+ base
+ containers
+ ghc
+ mtl
+ template-haskell
+ transformers
+ ];
+ testHaskellDepends = [ base ];
+ enableLibraryProfiling = false;
+ enableExecutableProfiling = false;
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ doBenchmark = false;
+ hyperlinkSource = false;
+ homepage = "https://github.com/nomeata/inspection-testing";
+ description = "GHC plugin to do inspection testing";
+ license = lib.licenses.mit;
+ broken = false;
+}
--
GitLab