Merge pull request #31 from konn/konn/new-stackage-2025-0101

Support newer equational-reasoning, th-desugar, and inspection-testing
konn · Jan 2, 2025 · 4d373b2 · 4d373b2
2 parents b593965 + 9236680
commit 4d373b2
Show file tree

Hide file tree

Showing 5 changed files with 6,115 additions and 3,147 deletions.
diff --git a/cabal.project b/cabal.project
@@ -1 +1,8 @@
-packages: type-natural.cabal
+if impl(ghc >= 9.8.4)
+    packages: 
+      type-natural.cabal
+      https://hackage.haskell.org/package/equational-reasoning-0.7.1.0/candidate/equational-reasoning-0.7.1.0.tar.gz
+      https://hackage.haskell.org/package/ghc-typelits-presburger-0.7.4.1/candidate/ghc-typelits-presburger-0.7.4.1.tar.gz
+else
+    packages: 
+      type-natural.cabal