Allow (optional) semicolon after returns clause

7 years ago · 9de1a96843
parent 685c3aa862
commit 9de1a96843
1 changed files with 3 additions and 1 deletions
--- a/compiler/heptagon/parsing/hept_parser.mly
+++ b/compiler/heptagon/parsing/hept_parser.mly
@ -198,9 +198,11 @@ label_ty:
 returns: RETURNS | EQUAL {}
 ;

+opt_semicolon: | /* empty */ | SEMICOL {}
+
 node_dec:
  | u=unsafe n=node_or_fun f=ident pc=node_params LPAREN i=in_params RPAREN
-    returns LPAREN o=out_params RPAREN
+    returns LPAREN o=out_params RPAREN opt_semicolon
    c=contract b=block(LET) TEL
      {{ n_name = f;
         n_stateful = n;