Now that I am finally turning back to HaRe, the question of infrastructure again comes up. Basically I woudl like to focus in the tool itself, but it can only be useful if it can deal with real world environments. This means properly managing all the different project and compiler environments, and being integrated into IDEs. The current version uses ghc-mod for the lower level interface, and a simple command line interface for the IDE integration. But I have a definite sense that as a community every tool maker is solving the same problems over and over, from ghc-mod to ide-backend to ghci-ng, and onwards. To start a discussion around some kind of architeccture that tool writers can develop agains, ide's can integrat against and ghc/cabal can eventually internalise, I have put some basic points down at https://github.com/RefactoringTools/HaRe/wiki/Requirements-for-IDE-GHC-inter... Regards Alan