| 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 _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
