ecta icon indicating copy to clipboard operation
ecta copied to clipboard

compare: unexpected RecIntersect (UnsafeIntersectId 478 478)

Open Tritlo opened this issue 1 year ago • 11 comments

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.

Tritlo avatar Aug 05 '23 13:08 Tritlo