External Core typechecker

[Sigbjorn Finne]

To enable type checking of Core, compile with -dcore-lint

--sigbjorn

----- Original Message -----
From: "Kirsten Chevalier" <krc at uclink.berkeley.edu>
To: <glasgow-haskell-bugs at haskell.org>
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 * krc at uclink.berkeley.edu * Often in error, never in
doubt