diff options
Diffstat (limited to 'frontend/parser.mly')
-rw-r--r-- | frontend/parser.mly | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/frontend/parser.mly b/frontend/parser.mly index 2483f09..0d257dd 100644 --- a/frontend/parser.mly +++ b/frontend/parser.mly @@ -118,8 +118,8 @@ state: until=trans(UNTIL) { if unless <> [] then failwith "UNLESS transitions not supported."; { initial = i; - name = n; - locals = (match v with Some v -> v | None -> []); + st_name = n; + st_locals = (match v with Some v -> v | None -> []); body = b; until = until; } } @@ -138,8 +138,8 @@ activate_if: | IF c=ext(expr) THEN t=activate_if ELSE e=activate_if { AST_activate_if(c, t, e) } | lv=option(var_decl) b=body { AST_activate_body { - id = "activate"^uid(); - locals = (match lv with Some v -> v | None -> []); + act_id = "act"^uid(); + act_locals = (match lv with Some v -> v | None -> []); body = b; } } @@ -179,7 +179,7 @@ vars: const_decl: | CONST i=IDENT COLON t=typ EQUAL e=ext(expr) SEMICOLON { { - name = i; + c_name = i; typ = t; value = e; } } @@ -195,7 +195,7 @@ node_decl: | node_kw id=IDENT LPAREN v=vars RPAREN RETURNS LPAREN rv=vars RPAREN e = dbody -{ { name = id; +{ { n_name = id; args = v; ret = rv; var = []; @@ -205,7 +205,7 @@ node_decl: RETURNS LPAREN rv=vars RPAREN lv=var_decl b=body -{ { name = id; +{ { n_name = id; args = v; ret = rv; var = lv; |