External Core typechecker

[Simon Peyton-Jones]

| Even with -dcore-lint, though, the compiler still seems to panic on
| certain ill-typed Core programs (this is using GHC 5.04.1 installed
from
| rpms); one of these days I'll find a minimal test case and submit a
bug
| report.

Yes please!  Lint was never intended to be a 100% type checker, more of
a compiler debugging tool.  The reason I'm using it for Ext Core is that
it exists, and writing the type checker for Ext Core would take another
morning.  But in the end it's the Right Thing to do.  Volunteers?  

| I'm using it to test a program transformation I'm implementing
(type-inference-
| based deforestation) without linking into or hacking GHC (since I got
quite

Ah yes, I remember now,  we met in Oxford.

Simon