Matthías Páll Gissurarson

@lapplislazuli could you pull master and see if you still get the issue?

Yes, that makes a lot of sense. However, we don't always link the new ones, esp. not with repInteractive. Have you tried with that on?

This is weird: a lot of locations are showing up as evaluated in the invokes in `findEvaluatedHoles`, but we're missing out on these locations due to them not being in...

Sadly, #95 doesn't quite cut it: we don't actually get precedence information until after renaming, so we can't find locations that are "parenthesized" by precedence. See the note on the...

Hey Leo! We need write access as well, since we actually compile the programs. So when you run it on `ThreeFixes.hs`, it generates the `ThreeFixes.hi` as output, which has to...

The cabal file in the gist installs the plugin, it's all in the stderr, no editor involvement.

Seems fixed in https://github.com/sankalpgambhir/ecta/tree/empty-mu-intersection-fix

Oh wait, it is still broken. The patch changes it from ``` compare: unexpected RecIntersect (UnsafeIntersectId 478 478) ``` to ``` compare: unexpected RecUnint 0 ```

Weird that your stack seems to have ecta 1.0.0.3 in there and the plugin as well... are you sure it is using the right versions? This is what I get...

(if you want to play around with it directly, just clone ` git clone https://github.com/sankalpgambhir/ecta` directly into the `ecta-plugin` directory and add `ecta/` to the `cabal.project` so that it uses...