mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 07:12:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update wikipage Types. (Signed-off-by:alexk).

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1867 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2017-07-05 17:30:10 +00:00
parent 47e32cf27a
commit 3035dda999
1 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Types.wiki Normal file
View File

@@ -0,0 +1,15 @@
[[Property:uuid|88764AFC-7DC5-4547-8B8C-4C0A489B0620]]
[[Property:weight|0]]
[[Property:title|Types]]
= Types =
== Common ancestor type ==
A *common ancestor type* is a type computed for a list of types using the following algorithm:
1. Temporary ignore whether any types are detachable or separate.
2. Add a type `NONE` to the list of types (this makes sure the list is never empty).
3. If there is a type in the list to which all other types conform, remember it as T.
4. Otherwise, use `ANY` for T.
5. If there is a detachable or separate type in the list, use the corresponding detachable and/or separate version of type T.