Changeset 0393653 for src/Parser/parser.yy
- Timestamp:
- Jan 31, 2023, 3:07:42 PM (19 months ago)
- Branches:
- ADT, ast-experimental, master
- Children:
- dab2b6a
- Parents:
- 757099e (diff), 7a24d76 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Parser/parser.yy
r757099e r0393653 10 10 // Created On : Sat Sep 1 20:22:55 2001 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Mon Jan 30 20:47:27202313 // Update Count : 58 5912 // Last Modified On : Tue Jan 31 08:55:11 2023 13 // Update Count : 5861 14 14 // 15 15 … … 2080 2080 { $$ = DeclarationNode::newTypeQualifier( Type::Atomic ); } 2081 2081 | forall 2082 { $$ = DeclarationNode::newForall( $1 ); } 2082 2083 ; 2083 2084 2084 2085 forall: 2085 2086 FORALL '(' type_parameter_list ')' // CFA 2086 { $$ = DeclarationNode::newForall( $3 ); }2087 { $$ = $3; } 2087 2088 ; 2088 2089 … … 2979 2980 TRAIT identifier_or_type_name '(' type_parameter_list ')' '{' '}' 2980 2981 { $$ = DeclarationNode::newTrait( $2, $4, nullptr ); } 2981 | FORALL '(' type_parameter_list ')'TRAIT identifier_or_type_name '{' '}' // alternate2982 { $$ = DeclarationNode::newTrait( $ 6, $3, nullptr ); }2982 | forall TRAIT identifier_or_type_name '{' '}' // alternate 2983 { $$ = DeclarationNode::newTrait( $3, $1, nullptr ); } 2983 2984 | TRAIT identifier_or_type_name '(' type_parameter_list ')' '{' push trait_declaration_list pop '}' 2984 2985 { $$ = DeclarationNode::newTrait( $2, $4, $8 ); } 2985 | FORALL '(' type_parameter_list ')'TRAIT identifier_or_type_name '{' push trait_declaration_list pop '}' // alternate2986 { $$ = DeclarationNode::newTrait( $ 6, $3, $9); }2986 | forall TRAIT identifier_or_type_name '{' push trait_declaration_list pop '}' // alternate 2987 { $$ = DeclarationNode::newTrait( $3, $1, $6 ); } 2987 2988 ; 2988 2989
Note: See TracChangeset
for help on using the changeset viewer.