GHC as library
simonmar at microsoft.com
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
> 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.
More information about the Glasgow-haskell-users