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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
