Bump typelit plugins

Author: kleinreact

cabal.project

@@ -15,7 +15,7 @@ write-ghc-environment-files: always
 -- index state, to go along with the cabal.project.freeze file. update the index
 -- state by running `cabal update` twice and looking at the index state it
 -- displays to you (as the second update will be a no-op)
-index-state: 2025-07-19T09:09:36Z
+index-state: 2025-12-03T04:34:47Z
 
 -- For some reason the `clash-testsuite` executable fails to run without
 -- this, as it cannot find the related library...
@@ -59,6 +59,11 @@ optional-packages:
 allow-newer:
   brick:base,
   brick:deepseq,
+  -- >>> temporarily added for testing purposes
+  ghc-typelits-knownnat,
+  ghc-typelits-natnormalise,
+  ghc-typelits-extra,
+  -- <<<
   hashable,
   hedgehog-fakedata:hedgehog,
   rewrite-inspector:binary,
@@ -84,3 +89,8 @@ package regex-tdfa
 
 -- rewrite-inspector-0.1.0.11 uses brick-0.50 which doesn't compile with vty-6.0
 constraints: vty < 6.0
+
+source-repository-package
+  type: git
+  location: https://github.com/clash-lang/ghc-typelits-extra.git
+  tag: 726a6e311d35153e948c55b818a9d1e9b335e245

clash-ghc/clash-ghc.cabal

@@ -170,9 +170,9 @@ library
 
                       clash-lib                 == 1.9.0,
                       clash-prelude             == 1.9.0,
-                      ghc-typelits-extra        >= 0.3.2    && < 0.5,
-                      ghc-typelits-knownnat     >= 0.6      && < 0.8,
-                      ghc-typelits-natnormalise >= 0.6      && < 0.8,
+                      ghc-typelits-extra        >= 0.3.2    && < 0.6,
+                      ghc-typelits-knownnat     >= 0.6      && < 0.9,
+                      ghc-typelits-natnormalise >= 0.6      && < 0.10,
                       deepseq                   >= 1.3.0.2  && < 1.6,
                       time                      >= 1.4.0.1  && < 1.15,
                       ghc-boot                  >= 8.10.0   && < 9.11,

clash-lib-hedgehog/clash-lib-hedgehog.cabal

@@ -52,8 +52,8 @@ library
     containers                >= 0.5.0.0 && < 0.8,
     data-binary-ieee754       >= 0.4.4   && < 0.6,
     fakedata                  >= 1.0.2   && < 1.1,
-    ghc-typelits-knownnat     >= 0.7.2   && < 0.8,
-    ghc-typelits-natnormalise >= 0.7.2   && < 0.8,
+    ghc-typelits-knownnat     >= 0.7.2   && < 0.9,
+    ghc-typelits-natnormalise >= 0.7.2   && < 0.10,
     hedgehog-fakedata         >= 0.0.1.4 && < 0.1,
     mmorph                    >= 1.1.5   && < 1.3,
     mtl                       >= 2.1.2   && < 2.4,

clash-prelude-hedgehog/clash-prelude-hedgehog.cabal

@@ -50,7 +50,7 @@ library
 
   build-depends:
     ghc-typelits-knownnat     >= 0.7.2   && < 0.8,
-    ghc-typelits-natnormalise >= 0.7.2   && < 0.8,
+    ghc-typelits-natnormalise >= 0.7.2   && < 0.10,
     text                      >= 1.2.2   && < 2.2,
 
     clash-prelude             == 1.9.0,

clash-prelude/clash-prelude.cabal

@@ -336,9 +336,11 @@ Library
                       distributive              >= 0.1     && < 1.0,
                       extra                     >= 1.6.17  && < 1.9,
                       ghc-prim                  >= 0.5.1.0 && < 0.13,
-                      ghc-typelits-extra        >= 0.4     && < 0.5,
-                      ghc-typelits-knownnat     >= 0.7.2   && < 0.8,
-                      ghc-typelits-natnormalise >= 0.7.2   && < 0.8,
+  -- >>> lower bounds temporarily increased for testing purposes
+                      ghc-typelits-extra        >= 0.5.1   && < 0.6,
+                      ghc-typelits-knownnat     >= 0.8.2   && < 0.9,
+                      ghc-typelits-natnormalise >= 0.9.3   && < 0.10,
+  -- <<<
                       hashable                  >= 1.2.1.0  && < 1.6,
                       half                      >= 0.2.2.3 && < 1.0,
                       infinite-list           ^>= 0.1,