1 A set of example programs for handling external core format.
3 In particular, typechecker and interpreter give a precise semantics.
7 To run the checker and interpreter (which currently aren't working anyway),
8 you need to generate External Core for all the base, integer and ghc-prim
9 libraries. This can be done by adding "-fext-core" to the GhcLibHcOpts in
10 your build.mk file, then running "make" under libraries/.
11 Then you need to edit Driver.hs and change "baseDir" to point to your GHC
14 Most recently tested with GHC 6.8.2. I make no claims of portability. --tjc