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 * [EMAIL PROTECTED] * Often in error, never in doubt _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
