Thoughts on the design of External Core

[Aaron Tomb]

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