posit-2022.2.0.3: stack.yaml
# This file is attempting to maintain the working Liquid Haskell versions
# that coorispond to a specific GHC or Stackage version
resolver: nightly-2025-04-23 # ghc-9.10.1, you may need to upgrade stack to 3.1.1
# resolver: lts-23.11 # ghc-9.8.4
# resolver: lts-22.43 # ghc-9.6.6
# resolver: lts-21.25 # ghc-9.4.8
# resolver: lts-20.26 # ghc-9.2.8
# resolver: lts-19.33 # ghc-9.0.2
# resolver: lts-18.28 # ghc-8.10.7
# resolver: lts-18.6 # ghc-8.10.4 # Error: [S-7441]
# resolver: lts-16.31 # ghc-8.8.4 # Fails To Build! ghc: panic! (the 'impossible' happened)
# resolver: lts-14.27 # ghc-8.6.5 # Fails To Build! ghc: panic! (the 'impossible' happened)
packages:
- .
allow-newer: true
extra-deps:
# For Test
- Chart-1.9.5
- Chart-cairo-1.9.4.1
- cairo-0.13.11.0
- gtk2hs-buildtools-0.13.11.0
# For LiquidHaskell:
# ghc-9.10.1 should work with the new liquidhaskell-0.9.10.1, this actually works!
- liquidhaskell-0.9.10.1
- liquidhaskell-boot-0.9.10.1
- liquid-fixpoint-0.9.6.3.1
- smtlib-backends-0.4
- smtlib-backends-process-0.3
- ghc-internal-9.1001.0
# ghc-9.8.4 should work with the new liquidhaskell-0.9.8.1, both 0.9.8.1 and 0.9.8.2 seems broke
# - liquidhaskell-0.9.8.1
# - liquidhaskell-boot-0.9.8.1
# - liquid-fixpoint-0.9.6.3
# - smtlib-backends-0.4
# - smtlib-backends-process-0.3
# ghc-9.6.6 should work with the new liquidhaskell-0.9.6.3.1, this actually works!
# - liquidhaskell-0.9.6.3.1
# - liquidhaskell-boot-0.9.6.3
# - liquid-fixpoint-0.9.6.3
# - smtlib-backends-0.4
# - smtlib-backends-process-0.3
# ghc-9.4.8 should work with the new liquidhaskell-0.9.4.7.0, this actually works!
# - liquidhaskell-0.9.4.7.0
# - liquidhaskell-boot-0.9.4.7.0
# - liquid-fixpoint-0.9.4.7
# - smtlib-backends-0.4
# - smtlib-backends-process-0.3
# ghc-9.2.8 should work with the new liquidhaskell-0.9.2.8.0, this actually works!
# - liquidhaskell-0.9.2.8.0
# - liquidhaskell-boot-0.9.2.8.0
# - liquid-fixpoint-0.9.2.5
# - rest-rewrite-0.4.4
# - smtlib-backends-0.4
# - smtlib-backends-process-0.3