"Kirsten Chevalier" <[EMAIL PROTECTED]> writes: > On Thu, Sep 05, 2002 at 12:20:27PM -0700, Sigbjorn Finne wrote: > > To enable type checking of Core, compile with -dcore-lint > > > > Ah, thanks. You'd think it would do that by default when starting from > an external Core file (hint :-)) >
It actually does, but the type checking code that that front-end (re-)uses does just a limited amount of checking (e.g., function applications aren't checked..), hence the suggestion of using the more thorough -dcore-lint --sigbjorn _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
