Thoughts on the design of External Core
atomb at soe.ucsc.edu
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?
More information about the Glasgow-haskell-users