External Core typechecker

[Kirsten Chevalier]

On Mon, Sep 30, 2002 at 11:09:23AM +0100, Simon Peyton-Jones wrote:
> 
> 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?  
>

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.

-- 
Kirsten Chevalier * krc at uclink.berkeley.edu * Often in error, never in doubt