| Types are related by a generalization preorder (specified
| below); the most general type, up to the equivalence
| induced by that preorder, that can be assigned to a
| particular expression (in a given environment) is called
| its principal type.
I like that, and will implement it. Thanks
[Others: this is para 6 of 4.1.4 of the Haskell Report, if you are
interested.]
Simon
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
