Feedback request for #9628 AST Annotations

Edward Z. Yang ezyang at mit.edu
Tue Sep 30 03:30:59 UTC 2014


Excerpts from Richard Eisenberg's message of 2014-09-29 19:04:28 -0700:
> What do other languages do? Do we know what, say, Agda does to get such tight coupling with an editor? Does, say, Eclipse have such a chummy relationship with a Java compiler to do its refactoring, or is that separately implemented?

Eclipse literally has its own Java compiler for development in the IDE.
I get the feeling this is not an uncommon pattern...

Cheers,
Edward


More information about the ghc-devs mailing list