diff --git a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki index c9f7e4c0..d72786ef 100644 --- a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki +++ b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki @@ -410,6 +410,14 @@ Constraint_list ::= {Single_constraint "," ...}+ Constraint_creators ::= create [[#Export adaptation|Feature_list]] end +===Manifest arrays === +Manifest_array ::= [Manifest_array_type] "<<" Expression_list ">>" + +Manifest_array_type ::= "{" [[#Types|Type]] "}" + +Expression_list ::= {[[#Expressions|Expression]] "," ...}* + + ===Tuple types === Tuple_type ::= TUPLE [Tuple_parameter_list] @@ -419,9 +427,7 @@ Tuple_parameters ::= [[#Actual generic parameters|Type_list]] | [[#Formal argume ===Manifest tuples === -Manifest_tuple ::= "[" Expression_list "]" - -Expression_list ::= {[[#Expressions|Expression]] "," ...}* +Manifest_tuple ::= "[" [[#Manifest arrays|Expression_list]] "]" ===Converter clauses ===