Support GHC 9.6

[chshersh]

The GHC 9.6.1 was released recently and it makes sense to support compilation of iris with the new version of the Haskell compiler.

Steps needed to be done:

• Increase base upper bound in iris.cabal
  

  iris/iris.cabal

  Lines 29 to 30 in e9b6c25

  	common common-options
  	build-depends: base >= 4.14 && < 4.18

• Update the tested-with field
  

  iris/iris.cabal

  Lines 19 to 23 in e9b6c25

  	tested-with:
  	GHC == 9.4.4
  	GHC == 9.2.5
  	GHC == 9.0.2
  	GHC == 8.10.7

• Add new warnings
  

  iris/iris.cabal

  Lines 55 to 56 in e9b6c25

  	if impl(ghc >= 9.4)
  	ghc-options: -Wredundant-strictness-flags

• Fix all compilation errors and warnings if any

• Update CI pipelines

  Refer to the following blog post for guidance around CI:

  • Dead simple cross-platform GitHub Actions for Haskell

  iris/.github/workflows/ci.yml

  Lines 20 to 24 in e9b6c25

  	ghc:
  	- "8.10.7"
  	- "9.0.2"
  	- "9.2.5"
  	- "9.4.4"

[celsobonutti]

I'd like to tackle this one 😊

[chshersh]

@celsobonutti Sure, go for it 👍🏻

[celsobonutti]

This depends on colourista supporting 9.6, so I’ve created a PR there.
Once that’s merged, I’ll do the work for this issue.

[chshersh]

@celsobonutti Thanks for the heads-up!

I replaced colourista with pretty-terminal in #118, so iris shouldn't be blocked anymore. Feel free to continue the GHC 9.6. support in this repository 🙂

[celsobonutti]

Oki doki! Thank you!