A quick State of the nation.
GHC 7.10 RC2 will have API Annotations in it which will allow full round tripping of source code without using tokens.
A library that does this roundtripping is at https://github.com/alanz/ghc-exactprint
This is being integrated into HaRe in the ghc-7.10 branch, and is currently able to do the ifToCase transformation, as the initial proof of concept for the new architecture. This will result in a considerable simplification of the code, as only the AST now needs to be manipulated (together with the annotations), and all the fiddly token stuff falls away.
So active development of HaRe is starting again, which is being helped by Matthew Pickering who has begun to be involved in the process. There is still plenty of scope for others to get involved, it is a massive project, so please feel free to chip in.
We have also decided to rather use a mailing list than this community, so the emphasis will be shifting to the list at https://groups.google.com/forum/#!forum/hare
, please join it.