External Core typechecker

[Simon Peyton-Jones]

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:sof at galois.com]
| Sent: 05 September 2002 21:05
| To: Kirsten Chevalier
| Cc: glasgow-haskell-bugs at haskell.org
| Subject: Re: External Core typechecker
| 
|  "Kirsten Chevalier" <krc at uclink.berkeley.edu> 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
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs