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 _______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
