From 3ccbb37cb69dfce09550cc51d00bf716fbb41711 Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Thu, 20 Oct 2022 22:57:05 +0100
Subject: [PATCH] ghc-typelits-knownnat: init at 0.7.7
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/ghc-typelits-knownnat.nix | 23 +++++++++++++++++++++++
3 files changed, 26 insertions(+)
create mode 100644 pkgs/ghc-typelits-knownnat.nix
diff --git a/manifest.dhall b/manifest.dhall
index 70045ef7..c9cb0bb3 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -217,6 +217,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "ghc-lib-parser-ex" "9.4.0.0"
, callHackage "ghc-paths" "0.1.0.12"
, callHackage "ghc-tcplugins-extra" "0.4.3"
+ , callHackage "ghc-typelits-knownnat" "0.7.7"
, callHackage "ghc-typelits-natnormalise" "0.7.7"
, callHackage "ghcid" "0.8.8"
, callHackage "hackage-security" "0.6.2.2"
diff --git a/overlay.nix b/overlay.nix
index 8ec48c96..36cd0cf9 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -229,6 +229,8 @@ final: prev: with pkgs.haskell.lib; {
ghc-tcplugins-extra = prev.callPackage (./pkgs/ghc-tcplugins-extra.nix) { };
+ ghc-typelits-knownnat = prev.callPackage (./pkgs/ghc-typelits-knownnat.nix) { };
+
ghc-typelits-natnormalise = prev.callPackage (./pkgs/ghc-typelits-natnormalise.nix) { };
ghcid = prev.callPackage (./pkgs/ghcid.nix) { };
diff --git a/pkgs/ghc-typelits-knownnat.nix b/pkgs/ghc-typelits-knownnat.nix
new file mode 100644
index 00000000..c9066d12
--- /dev/null
+++ b/pkgs/ghc-typelits-knownnat.nix
@@ -0,0 +1,23 @@
+{ mkDerivation, base, ghc, ghc-prim, ghc-tcplugins-extra
+, ghc-typelits-natnormalise, lib, tasty, tasty-hunit
+, tasty-quickcheck, template-haskell, transformers
+}:
+mkDerivation {
+ pname = "ghc-typelits-knownnat";
+ version = "0.7.7";
+ sha256 = "c79018557e88cd1b3937d15d9fb75c4cc7e6b44856ad53b15ae4c421a385f92c";
+ libraryHaskellDepends = [
+ base ghc ghc-prim ghc-tcplugins-extra ghc-typelits-natnormalise
+ template-haskell transformers
+ ];
+ testHaskellDepends = [
+ base ghc-typelits-natnormalise tasty tasty-hunit tasty-quickcheck
+ ];
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ hyperlinkSource = false;
+ homepage = "http://clash-lang.org/";
+ description = "Derive KnownNat constraints from other KnownNat constraints";
+ license = lib.licenses.bsd2;
+}
\ No newline at end of file
--
GitLab