summaryrefslogtreecommitdiff
path: root/frontend/parser.mly
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/parser.mly')
-rw-r--r--frontend/parser.mly14
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;