#643 accept %mod: [T] > 5 do ( io <- 0 ) ;

Kappa-Dev · May 25, 2023 · e03c649 · e03c649
1 parent 4b7d519
commit e03c649
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core/grammar/kparser4.mly b/core/grammar/kparser4.mly
@@ -654,6 +654,7 @@ partial_effect_list_at_least_one_idin:
 
 effect_list:
   | OP_PAR annot partial_effect_list CL_PAR annot { $3 }
+  | OP_PAR annot partial_effect_list CL_PAR annot SEMICOLON annot {let (e,_,_) =  $3 in e,end_pos 6,$7 }
   | effect SEMICOLON annot { let (e,_,_) = $1 in ([e],end_pos 2,$3) }
   | effect SEMICOLON annot effect_list
     { let (e,_,_) = $1 in let (l,pend,a) = $4 in (e::l,pend,a) }