I allege that I have fixed this. You now get type checking of external core without saying -dcore-lint.
Kirsten, would you care to say how you are using External Core? Simon | -----Original Message----- | From: Sigbjorn Finne [mailto:[EMAIL PROTECTED]] | Sent: 05 September 2002 21:05 | To: Kirsten Chevalier | Cc: [EMAIL PROTECTED] | Subject: Re: External Core typechecker | | "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 _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
