| > Would it be feasable to discard the IfaceSyn typechecker entirely, | > replacing it | > with an single invocation of Core Lint? Definitely not! Lint has no output; it's just a checker. (I'll think about your earlier message, though, Aaron.) Simon