simonpj at microsoft.com
Tue Nov 21 03:18:19 EST 2006
| Well, for one thing I don't like the idea of a "list" of potential
| defaults. My suggestion is that there should be a single default type
| per class. If more than one class is involved, then either their
| defaults should agree, or only one of them in fact declares a default.
Ah, I missed that. Suppose I have
default Eq Integer
default Fractional Float
and I have (Eq a, Fractional a). Does 'a' resolve to Integer or to Float? Perhaps a few examples on the proposal page would be useful for readers?
More information about the Haskell-prime