Talk:Restrict types

Revision as of 12:44, 24 June 2007 by Peter gummer (Talk | contribs) (Void-safety)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

--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}.

Retrieved from "https://dev.eiffel.com/index.php?title=Talk:Restrict_types&oldid=8920"