Core Lint = complete typechecker?

[Stefan O'Rear]

On Tue, Feb 26, 2008 at 10:50:56AM -0800, Tim Chevalier wrote:
> Hi all,
> 
> I've been wondering whether the Core Lint pass  (that is, what gets
> invoked when you run GHC with -dcore-lint) is a complete typechecker
> for Core. That is, as far as you know, is it possible to construct a
> Core AST that will pass Core Lint but segfault at runtime? I was
> fairly sure I had been able to do this in the past and that the Core
> Lint pass was not meant to be complete, but I'm not sure and can't
> find documentation either way.

You can write Haskell that passes core lint and crashes at runtime.

http://hackage.haskell.org/trac/ghc/ticket/1496

Stefan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/cvs-ghc/attachments/20080226/e63ade9c/attachment.bin