3 Jul
2024
3 Jul
'24
3:44 p.m.
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