On 10 May 2005 03:42, Robert Dockins wrote:

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).

The CVS HEAD contains our current work on GHC as a library. The interface is already useful, we're using it in the Visual Studio extension, and we've restructured GHC itself to put our existing front ends on top of this interface. Take a look in ghc/compiler/main/GHC.hs. Cheers, Simon