Joachim Breitner
Joachim Breitner
Thanks a lot for your contribution! Are you genuinely interested in using gipeda, or is this part of maintenance work on stackage or nixos? If the latter maybe it's better...
Cool that this is still of interest! Let me know if there is something you need help with.
Im actually planning to remove the whole `eqnAffectingOptions` machinery, given that it was put in place for `backward.*` options which I hope we can remove. That said, currently it should...
> Presumably, the above should use the value of maxHeartbeats in the current MetaM context. That's unfortunately not how `realizeConst` works, the current context is ignored and it's using the...
Also, doesn't the problem also happen if you add a unit parameter to `arbitrary`? (On the phone right now)
@hgoldstein95, if all your practical problems can be worked around by adding unit parameters, does that unblock your work?
This is related to GHC's “state hack”, I believe.
So this seems to be due to mixing Fin constructors and Fin literals maybe. Is this blocking anyone?
Confirmed. I am hesitant to attempt to fix this, though: The code produced by `cases` is rather gnarly, and massaging that in the wf preprocessor to expose the necessary equation...
Thanks for trying `cabal-plan-bounds`. I fear that there might always be use cases that can't reasonably be covered. And in any case I'm not using these tools myself these days,...