From 0351cfe100745bc09abd88b7cb6de6b528fe1afc Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Wed, 5 Jul 2017 17:43:18 +0000 Subject: [PATCH] Update wikipage Manifest array. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1869 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../Expressions/Manifest-array.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Expressions/Manifest-array.wiki b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Expressions/Manifest-array.wiki index 15fa3ecb..349f3012 100644 --- a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Expressions/Manifest-array.wiki +++ b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/Expressions/Manifest-array.wiki @@ -27,6 +27,6 @@ It would be an error to use `default_pointer` instead of `"beers"` because the t == Untyped manifest array == -An untyped manifest array has no Manifest_array_type part. As a result, its type is computed from the type of specified elements as a common ancestor type. So, the type of the expression `<<7, "beers">>` would be `ARRAY [ANY]` rather than `ARRAY [COMPARABLE]` because types of the elements do not conform to each other. On the other hand, the expression `<>` has type `ARRAY [BOOLEAN]`. +An untyped manifest array has no Manifest_array_type part. As a result, its type is computed from the type of specified elements as a [[Types#Common ancestor types|common ancestor type]]. So, the type of the expression `<<7, "beers">>` would be `ARRAY [ANY]` rather than `ARRAY [COMPARABLE]` because types of the elements do not conform to each other. On the other hand, the expression `<>` has type `ARRAY [BOOLEAN]`. Because there is always a common ancestor type for manifest array elements, the untyped manifest array is always valid as soon as all its elements are valid. The empty untyped manifest array has type `ARRAY [NONE]`. \ No newline at end of file