Thu, 19 Oct 2000 16:25:02 +1300 (NZDT), Tom Pledger <[EMAIL PROTECTED]> pisze:
> 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 * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
