Difference between revisions of "Talk:Restrict types"
Peter gummer (Talk | contribs) (Void-safety) |
(No difference)
|
Latest revision as of 12:44, 24 June 2007
--Peter gummer 22:44, 24 June 2007 (CEST) The fact that {NONE} is not a subset of {T} interacts with the as-yet-unimplemented ECMA Void-safety rules. In Void-safe Eiffel, a: ?T is shorthand for a: T restrict {T .. NONE}, and a: T is a shorthand for a: T restrict {T .. NONE} - {NONE}.
