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