Talk:Restrict types

From EiffelStudio: an EiffelSoftware project
Revision as of 20:44, 24 June 2007 by Peter gummer (talk | contribs) (Void-safety)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

--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"