On Fri, Sep 27, 2002 at 04:12:11PM +0100, Simon Peyton-Jones wrote: > I allege that I have fixed this. You now get type checking of external > core without saying -dcore-lint. >
Dude, now I have to rebuild GHC *again*? 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. > Kirsten, would you care to say how you are using External Core? > 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 enough of that before the External Core feature existed). Since I'm still debugging my transformation, it sometimes produces ill-typed programs, which is how I've encountered all these bugs. -- 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
