On Thu, 19 Oct 2000, Marcin 'Qrczak' Kowalczyk wrote:
> - Adding a subtype elsewhere may make a program ambiguous. (Well, it is so
> with classes too, but at least it occurs only for overlapping instances,
> not unrelated subtypes of a generic type.)
For example adding two unrelated subtypes of Int16 disallows using 1234 as
a value of type Integer!
--
Marcin 'Qrczak' Kowalczyk
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
