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.
Thanks, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt "The future is not google-able." -- William Gibson _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
