From 4f0d6b819285baa0213858801fd820f2072d767a Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Thu, 20 Oct 2022 22:55:51 +0100
Subject: [PATCH] ghc-typelits-natnormalise: init at 0.7.7
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/ghc-typelits-natnormalise.nix | 22 ++++++++++++++++++++++
3 files changed, 25 insertions(+)
create mode 100644 pkgs/ghc-typelits-natnormalise.nix
diff --git a/manifest.dhall b/manifest.dhall
index c9c0b346..70045ef7 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-natnormalise" "0.7.7"
, callHackage "ghcid" "0.8.8"
, callHackage "hackage-security" "0.6.2.2"
, callHackage "hashable" "1.4.1.0"
diff --git a/overlay.nix b/overlay.nix
index 6d7452ae..8ec48c96 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-natnormalise = prev.callPackage (./pkgs/ghc-typelits-natnormalise.nix) { };
+
ghcid = prev.callPackage (./pkgs/ghcid.nix) { };
hackage-security = prev.callPackage (./pkgs/hackage-security.nix) { };
diff --git a/pkgs/ghc-typelits-natnormalise.nix b/pkgs/ghc-typelits-natnormalise.nix
new file mode 100644
index 00000000..995febea
--- /dev/null
+++ b/pkgs/ghc-typelits-natnormalise.nix
@@ -0,0 +1,22 @@
+{ mkDerivation, base, containers, ghc, ghc-bignum, ghc-prim
+, ghc-tcplugins-extra, lib, tasty, tasty-hunit, template-haskell
+, transformers
+}:
+mkDerivation {
+ pname = "ghc-typelits-natnormalise";
+ version = "0.7.7";
+ sha256 = "90ea374a1d58c1cd6cd3fb156f99873aae90bfb419279ca178372f2287d7175f";
+ libraryHaskellDepends = [
+ base containers ghc ghc-bignum ghc-tcplugins-extra transformers
+ ];
+ testHaskellDepends = [
+ base ghc-prim tasty tasty-hunit template-haskell
+ ];
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ hyperlinkSource = false;
+ homepage = "http://www.clash-lang.org/";
+ description = "GHC typechecker plugin for types of kind GHC.TypeLits.Nat";
+ license = lib.licenses.bsd2;
+}
\ No newline at end of file
--
GitLab