External Core typechecker

[Kirsten Chevalier]

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