External Core typechecker

[Sigbjorn Finne]

 "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