Re: Thoughts on the design of External Core

That's a good question. If it's possible, it sounds great, since it would simplify the code. I'm not familiar enough with Core Lint to know if it would work, though. My inclination is to implement External Core using the existing type checker for now, and if it's possible to either improve it or remove it later, we can. Aaron On Feb 14, 2007, at 5:04 PM, Stefan O'Rear wrote:

Would it be feasable to discard the IfaceSyn typechecker entirely, replacing it with an single invocation of Core Lint?

Stefan