what4 fails to compile in head.hackage
Something very very recent seems to have broken the what4
package.. but unfortunately I can't reproduce locally yet. So I will just leave the ticket here so we have something to point to for this problem.
[47 of 79] Compiling What4.Partial ( src/What4/Partial.hs, dist/build/What4/Partial.o, dist/build/What4/Partial.dyn_o )
src/What4/Partial.hs:269:10: error: [GHC-39999]
• Could not deduce ‘IsExpr (SymExpr sym)’
arising from the superclasses of an instance declaration
from the context: Monad m
bound by a quantified context at src/What4/Partial.hs:269:10-34
• In the instance declaration for ‘MonadTrans (PartialT sym)’
|
269 | instance MonadTrans (PartialT sym) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^
[48 of 79] Compiling What4.LabeledPred ( src/What4/
See https://gitlab.haskell.org/ghc/head.hackage/-/jobs/1276160