To enable type checking of Core, compile with -dcore-lint --sigbjorn
----- Original Message ----- From: "Kirsten Chevalier" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Thursday, September 05, 2002 12:05 Subject: External Core typechecker > GHC doesn't seem to do much typechecking on external Core files; it happily > compiles .hcr files with type errors that then segfault when you run the > program. An example of such a program is attached (the type error is on > line 19, where cons is applied to the Integer type and two integer lists). > > I'm using the latest version of GHC (built from CVS sources yesterday, using > GHC 5.04 to bootstrap), on a RedHat Linux box with gcc 2.96. > > -- > 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
