Changeset 0f15e3b

Timestamp:

Jan 30, 2023, 8:48:16 PM (22 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

8728104

Parents:

a5f9444

Message:

add alternate syntax using forall with trait

File:

• src/Parser/parser.yy (modified) (2 diffs)

src/Parser/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Jan 30 19:19:22 2023
-// Update Count     : 5858
+// Last Modified On : Mon Jan 30 20:47:27 2023
+// Update Count     : 5859
 //
 
@@ -2979 +2979 @@
         TRAIT identifier_or_type_name '(' type_parameter_list ')' '{' '}'
                 { $$ = DeclarationNode::newTrait( $2, $4, nullptr ); }
+        | FORALL '(' type_parameter_list ')' TRAIT identifier_or_type_name '{' '}' // alternate
+                { $$ = DeclarationNode::newTrait( $6, $3, nullptr ); }
         | TRAIT identifier_or_type_name '(' type_parameter_list ')' '{' push trait_declaration_list pop '}'
                 { $$ = DeclarationNode::newTrait( $2, $4, $8 ); }
+        | FORALL '(' type_parameter_list ')' TRAIT identifier_or_type_name '{' push trait_declaration_list pop '}' // alternate
+                { $$ = DeclarationNode::newTrait( $6, $3, $9 ); }
         ;