2 Jun
2003
2 Jun
'03
6:37 a.m.
Dnia nie 1. czerwca 2003 23:55, Alastair Reid napisał:
introduces a type T whose only value is bottom. ]]
This semantics is obviously flawed though because it would suggest that any two values of type T are equal (and equal to bottom) and that optimizations based on that equality are valid.
Since no values of type T are ever created or manipulated, what difference does it make? -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/