G'day all.
Quoting Lennart Augustsson <[EMAIL PROTECTED]>:
Here is a small puzzle.
You can understand this one because the closed world hypothesis doesn't
apply to type context inference.
I have no problem understanding the technical reason for this. But I now think it's a poor design.
-- Lennart
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
