Simon Peyton-Jones wrote:
The trick lies in coming up with a suitable typed intermediate representation for the program -- System F isn't enough.
Is that because GHC's TIL is not exactly System F?
As ever, we tend to work harder on things that folk appear to want;
Unrelated question: will "boxy" types allow forall-quantified types in instance declarations?
> so
anyone who is keen on associated types, do sing out and describe your application a bit.
If yes, I'll clean-up and send out some code showing what I think would be a good use.
Jim _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
