GHC as library

[Robert Dockins]

I seem to recall some time ago the Simons asked on one of these lists
about uses people might have for GHC-as-library.  It sounded really neat
to me, and I just kind of wonder if there is any motion on that front.

I'm thinking about hacking up a system to extract proof obligations into
Coq (http://coq.inria.fr/) from Haskell, and being able to get my hands
on various things would be really nice (like being able to get at the
AST after typechecking, but before conversion to core).

Robert Dockins