From ae4ae3164a48be2b8c0667b9e4fe9666fb6a4c53 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Mon, 17 Jul 2017 10:01:38 +0000 Subject: [PATCH] Update wikipage Types. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1883 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../Types.wiki | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Types.wiki b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Types.wiki index d09c54e8..55b45e17 100644 --- a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Types.wiki +++ b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Types.wiki @@ -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: