mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-06 14:52:03 +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@1883 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2017-07-17 10:01:38 +00:00
parent c1731a3129
commit ae4ae3164a
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Types.wiki
View File

@@ -6,11 +6,11 @@
A '''common ancestor type''' is a type computed for a list of types using the following algorithm:
# Temporary ignore whether any types are detachable or separate.
# Add a type `NONE` to the list of types (to make sure the list is never empty).
# If there is a type in the list to which all other types conform, remember it as T.
# Otherwise, use `ANY` for T.
# If there is a detachable or separate type in the list, use the corresponding detachable and/or separate version of T.
# Add `NONE` to the list of types (to make sure the list is never empty).
# If there is a separate type in the list, add a mark `separate` in front of all non-separate types in the list.
# If there is a detachable type in the list, add a mark `detachable` in front of all attached types in the list.
# If there is a type in the list to which all other types conform, it is the common ancestor type.
# Otherwise, add `ANY` to the list and repeat steps starting from step #2.
Here are some examples: