ANN: H98 FFI Addendum 1.0, Release Candidate 10

[Marcin 'Qrczak' Kowalczyk]

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 at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/