Core Lint = complete typechecker?

[Tim Chevalier]

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