Hi Simon, Thanks for all these pointers!
> You aren't the only one to find this problem see these tickets. You might > want to turn this thread into a new ticket, so you get included in that > list. > Good to know! From the list, I see that the LiquidHaskell team also ran into the same issue and they proposed this ticket, which I should thumb up: https://gitlab.haskell.org/ghc/ghc/-/issues/24096 It would be fantastic if someone, or a small group, was willing to take the > lead here. Indeed! Best, Yao
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
