diff --git a/manifest.dhall b/manifest.dhall index fcea876e0c5d40e34567ff9b6e0f98854c3a6689..0e01a31d4e4317414ff831061d6d89cfc5b303a4 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 f5ac135906fa059021bd52280ac055eeb6d905b7..926fb019b937e483499bc44071638c17ec8e555c 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 0000000000000000000000000000000000000000..903ae4961a95870d247d6b53ee9ae38adce9cf5a --- /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; +}