Use GHC-9-12 and Stackage Nightly

[BinderDavid]

Checking to see if we can easily switch to using GHC 9.12.

The main changes are:

• Use a fork of sbv that is feature-equivalent to sbv-9.2 but compiles with modern GHCs
• Control.Monad.State doesnt re-export Control.Monad anymore.
• Bifunctor has a quantified superclass constraint and always requires a Functor instance now.
• Data.Text exports a show function that leads to ambiguity.
• The base library warns on partial functions head and tail

[BinderDavid]

Failling testcase seems to be this one:

frontend/tests/cases/negative/simple/signature-equation-name-mismatch.gr:                     FAIL
      Contents of frontend/tests/cases/negative/simple/signature-equation-name-mismatch.gr.output (<) and actual output (>) differ:
      
      
      
      Use -p '/frontend\/tests\/cases\/negative\/simple\/signature-equation-name-mismatch.gr/' to rerun this test only.

[dorchard]

Okay I have just pushed a fix which gives 30s for the synthesis examples (and which removes a hard coded 10s constant for synthesis, parameterising it using the usual timeout configuration instead). This now makes things all pass for me locally.

[BinderDavid]

@dorchard I think the either test is failing in CI again, probably due to a timeout on the slower GitHub actions runner?

[dorchard]

Hm yes... it seems to be a bit sensitive and sometimes timeouts depending on the machine, but also per run... so not entirely sure what to do to get it into a consistent state between CI and local runs... trying to mark it is as expected fail again for now.