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
signature.asc
Description: Digital signature
_______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
