aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2025-10-21 13:07:12 +0200
committerTom Smeding <tom@tomsmeding.com>2025-10-21 13:07:12 +0200
commit5b18d768e3119f8c38657772b60b6f66c5b02b64 (patch)
tree557e19dcedcc4d4bfda1a76f369c8a35d6b21f04
parent21905fca1b4eae0469d2bc27db7113cf0e124bc1 (diff)
ghc-typelits-knownnat 0.9.1 fixes the unsoundness againHEADmaster
-rw-r--r--ox-arrays.cabal7
1 files changed, 4 insertions, 3 deletions
diff --git a/ox-arrays.cabal b/ox-arrays.cabal
index 5ada9c0..dcc50c3 100644
--- a/ox-arrays.cabal
+++ b/ox-arrays.cabal
@@ -102,8 +102,7 @@ library
base,
deepseq < 1.7,
ghc-typelits-knownnat,
- -- 0.9.0 is unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105
- ghc-typelits-natnormalise < 0.9.0,
+ ghc-typelits-natnormalise,
orthotope < 0.2,
vector
hs-source-dirs: src
@@ -120,7 +119,9 @@ library strided-array-ops
Data.Array.Strided.Arith.Internal.Lists.TH
build-depends:
base >=4.18 && <4.22,
- ghc-typelits-knownnat >= 0.8.0 && < 1,
+ ghc-typelits-knownnat >= 0.8.0 && < 1
+ -- 0.9.0 is unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105
+ && (< 0.9.0 || > 0.9.0),
ghc-typelits-natnormalise >= 0.8.1 && < 1,
template-haskell < 3,
vector < 0.14