Thoughts on the design of External Core

Aaron Tomb atomb at
Thu Feb 15 13:05:34 EST 2007

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.


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

More information about the Glasgow-haskell-users mailing list