Re: H-core

Malcolm Wallace wrote:

The main conceptual difference is that H-core aims merely for simpler expression of common syntactic constructs, whereas ghc-core aims for low-level optimisability.

I think the fundamental difference is that the translation to GHC core is type-directed, while the translation to H98 core isn't. That means you can specify typecheckHaskell as typecheckCore.desugar if you use H98 core but not if you use GHC core, which I think is a major point in the former's favor as far as language specification goes. -- Ben