External Core typechecker

[Simon Peyton-Jones]

| There is a typechecker for Ext Core already, in
| fptools/ghc/utils/ext-core. It would probably take some work to adapt
it
| to be used with GHC, and to change it so it doesn't have the module
names and
| primitives from GHC 4.08 wired into it, but would adapting it be the
right
| thing to do? If so, I might have time to do it sometime.

That's true.  Its architecture is rather different to the rest of GHC's
type checker, and I'd been thinking that the obvious thing to do would
be to use the same monad and style as the main type checker.  For
example, the utils/ext-core one reports only one error, and doesn't
track line numbers.  Still, it has the merit of existing!  Presumably
you can always use it stand-alone to check your core progs?

I'm not sure what the best approach is.   

Simon