19 Oct
2000
19 Oct
'00
2:17 a.m.
Thu, 19 Oct 2000 16:25:02 +1300 (NZDT), Tom Pledger
A language extension for subtyping would be of some use there. For example, if Int is set up as a subtype of Integer, meaning that an Int value is acceptable anywhere an Integer value is expected (with the typechecker inserting the conversion code), the literal 42 can unambiguously be assigned the type Int.
This disallows literals of a non-standard type Int8. Not good. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK