Prepare a repro; not minimisedrepro-9.14-branch

1 files changed, 123 insertions, 1 deletions

diff --git a/cabal.project b/cabal.project
index d102ed6..cbb5f17 100644
--- a/cabal.project
+++ b/cabal.project
@@ -1,2 +1,124 @@
 packages: .
-with-compiler: ghc-9.8.4
+
+source-repository-package
+    type: git
+    location: https://github.com/sheaf/ghc-tcplugins-extra
+    tag: e24e0ceb191b4fc620f8befbd5f52ec895091b3c
+
+source-repository-package
+    type: git
+    location: https://github.com/sheaf/ghc-typelits-natnormalise/
+    tag: aec0035fc68a274c71f4a2c39c85b01def97fb3d
+
+source-repository-package
+    type: git
+    location: https://github.com/sheaf/ghc-typelits-knownnat
+    tag: 0c3e727bec8f5f64209ccfd754a07d5cf56f5c2b
+
+
+repository head.hackage.ghc.haskell.org
+   url: https://ghc.gitlab.haskell.org/head.hackage/
+   secure: True
+   key-threshold: 3
+   root-keys:
+       7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d
+       26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329
+       f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89
+
+allow-newer:
+  Cabal,
+  base,
+  binary,
+  bytestring,
+  containers,
+  deepseq,
+  ghc,
+  ghc-bignum,
+  ghc-boot,
+  ghc-boot-th,
+  ghc-prim,
+  integer-gmp,
+  template-haskell,
+  text,
+  time
+
+constraints:
+  base installed,
+  ghc installed,
+  ghc-bignum installed,
+  ghc-prim installed,
+  integer-gmp installed,
+  template-haskell installed
+
+constraints:
+  Agda ==2.7.0.1,
+  Cabal ==2.4.1.0 || ==3.0.2.0 || ==3.2.1.0,
+  Cabal-syntax ==3.8.1.0,
+  FPretty ==1.1,
+  JuicyPixels ==3.3.8,
+  algebraic-graphs ==0.7,
+  ansi-pretty ==0.1.2.2,
+  arith-encode ==1.0.2,
+  aur ==7.0.7,
+  aura ==3.2.10,
+  barbies-th ==0.1.11,
+  box-tuples ==0.2.0.4,
+  bv-sized ==1.0.5,
+  charsetdetect ==1.1.0.3,
+  charsetdetect-ae ==1.1.0.4,
+  chaselev-deque ==0.5.0.5,
+  containers ==0.6.7 || ==0.6.8 || ==0.7 || ==0.8,
+  critbit ==0.2.0.0,
+  crypto-random ==0.0.9,
+  cryptol ==3.1.0,
+  data-default-instances-new-base ==0.0.2,
+  data-r-tree ==0.6.0,
+  datetime ==0.3.1,
+  derive-lifted-instances ==0.2.2,
+  doctest ==0.24.0,
+  drinkery ==0.4,
+  endo ==0.3.0.1,
+  enumeration ==0.2.0,
+  free-functors ==1.2.1,
+  freer-simple ==1.2.1.2,
+  ghc-lib-parser ==9.8.4.20241130,
+  ghc-typelits-extra ==0.4.7,
+  ghcide ==2.9.0.0,
+  haskell-src-meta ==0.8.13,
+  haxl ==2.4.0.0,
+  hgeometry ==0.14,
+  hgeometry-combinatorial ==0.14,
+  hgeometry-ipe ==0.13,
+  inj-base ==0.2.0.0,
+  io-choice ==0.0.7,
+  language-bash ==0.11.1,
+  language-haskell-extract ==0.2.4,
+  lens ==5.2.3,
+  liquidhaskell-boot ==0.9.12.2,
+  mainland-pretty ==0.7.1,
+  monoidal-containers ==0.6.4.0,
+  packman ==0.5.0,
+  partial-isomorphisms ==0.2.3.0,
+  pgp-wordlist ==0.1.0.3,
+  refinery ==0.4.0.0,
+  rio ==0.1.22.0,
+  row-types ==1.0.1.2,
+  salak ==0.3.6,
+  sbv ==10.2,
+  singletons ==3.0.2,
+  siphash ==1.0.3,
+  strict-containers ==0.2,
+  text-short ==0.1.5,
+  text-show ==3.10.5,
+  th-abstraction ==0.5.0.0 || ==0.6.0.0,
+  th-compat ==0.1.4,
+  true-name ==0.1.0.3,
+  typelits-printf ==0.2.0.0,
+  vector-circular ==0.1.4,
+  vector-space ==0.16,
+  what4 ==1.5.1,
+  winery ==1.4
+
+constraints:
+  optparse-applicative -process,
+  tasty -unix