ecta
ecta copied to clipboard
compare: unexpected RecIntersect (UnsafeIntersectId 478 478)
I'm trying to use ecta via the ecta-plugin, but when I use it for Prelude
it complains about
compare: unexpected RecIntersect (UnsafeIntersectId 478 478)
I've made a minimal reproduction here:
https://gist.github.com/Tritlo/405c85003401de9fb481841be7faa940
Of course the issue might be in the plugin itself, but it works for other cases. I don't know enough about the inner workings of ecta to understand the issue here. It seems like it is trying to intersect with itself? What does that mean, and what would be the right answer there
This is blocking integration into HLS (https://github.com/haskell/haskell-language-server/pull/3159), so would be great if we could figure it out.