GHC as library

Simon Marlow simonmar at
Tue May 10 04:44:56 EDT 2005

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


More information about the Glasgow-haskell-users mailing list