add vanilla cabal/ghc build matrix too?

[cartazio]

Hello!

1. whats the current intended ghc version / cabal version build range?
2. if its already reflected into the setup-haskell style CI, where am i overlooking it
3. would you be open to adding that otherwise?
   (i guess one sub yak is making sure that the environment has some SMT solver installed for testing?)

happy to help poke at this if needed. I'm keen to use this library, but some use cases need me poking at making sure i can target at least 9.0.x - 9.6.x ghc flavors.

[lsrcz]

Hi Carter,

Thank you for your interest in Grisette!

1. We attach great importance to the compatibility of the tool, and we have tested on GHC 8.10-9.4. I assume that it could work on GHC 9.6.
2. The various stack*.yaml files specified the GHC versions. Each stackage snapshot is associated with a GHC version, like LTS-18.28 is GHC 8.10.7, LTS-20.3 is GHC 9.2.5, etc.
3. I will be happy to test Grisette on GHC 9.6.x and newer versions in the future, and I am probably not going to support GHCs older than 8.10 until someone asks me to do that. The stackage do not have a GHC 9.6 snapshot yet so we need to update the CI script to test with cabal and GHC 9.6.

I will have a look at the cabal CI script when I have time, but I will definitely appreciate it if you can help.

[lsrcz]

As for the SMT solvers, we manage the testing environment in the CI script via nix, and the file .github/workflows/flake-ci.nix specifies the environment. Thanks for pointing this out.

[cartazio]

having 8.10 as the oldest you currently support is very very reasonable, and on the down right conservative and sane side :)