19 Oct
2000
19 Oct
'00
7:24 a.m.
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