{
sprintf "string[%S]" $1
}
- | fun_call
+ | ID LPAREN RPAREN
{
- $1
+ let id = $1 in
+ sprintf "fun_call[%s, []]" id
+ }
+ | ID LPAREN fun_args RPAREN
+ {
+ let id = $1 in
+ let fun_args = $3 in
+ sprintf "fun_call[%s, %s]" id fun_args
}
| exp op exp
{
{
sprintf "while[%s, do[%s]]" $2 $4
}
- | FOR id ASSIGN exp TO exp DO exp
+ | FOR ID ASSIGN exp TO exp DO exp
{
let id = $2 in
let e1 = $4 in
{
"break[]"
}
- | LPAREN seq RPAREN
+ | LPAREN exps RPAREN
{
- sprintf "seq[%s]" $2
+ sprintf "exps[%s]" $2
}
- | LET decs IN seq END
+ | LET decs IN exps END
{
let decs = $2 in
- let seq = $4 in
- sprintf "let[decs[%s], in[seq[%s]]]" decs seq
+ let exps = $4 in
+ sprintf "let[decs[%s], in[exps[%s]]]" decs exps
}
- | unit
+ | LPAREN RPAREN
{
- $1
+ (* Perhaps "void"? *)
+ "unit[]"
}
-seq:
+exps:
| exp
{
sprintf "%s" $1
}
- | exp SEMICOLON seq
+ | exp SEMICOLON exps
{
sprintf "%s; %s" $1 $3
}
| fundec {$1}
fundec:
- | FUNCTION id unit EQ exp
+ | FUNCTION ID LPAREN RPAREN EQ exp
{
let id = $2 in
- let exp = $5 in
- sprintf "fundec[%s, exp[%s]]" id exp
+ let exp = $6 in
+ sprintf "fundec[%s, arguments[], exp[%s]]" id exp
}
- | FUNCTION id LPAREN tyfields RPAREN EQ exp
+ | FUNCTION ID LPAREN tyfields RPAREN EQ exp
{
let id = $2 in
let tyfields = $4 in
let exp = $7 in
- sprintf "fundec[%s, tyfields[%s], exp[%s]]" id tyfields exp
+ sprintf "fundec[%s, arguments[%s], exp[%s]]" id tyfields exp
}
- | FUNCTION id LPAREN tyfields RPAREN COLON ID EQ exp
+ | FUNCTION ID LPAREN tyfields RPAREN COLON ID EQ exp
{
let id = $2 in
let tyfields = $4 in
}
vardec:
- | VAR id ASSIGN exp
+ | VAR ID ASSIGN exp
{
let id = $2 in
let exp = $4 in
sprintf "vardec[%s, exp[%s]]" id exp
}
- | VAR id COLON ID ASSIGN exp
+ | VAR ID COLON ID ASSIGN exp
{
let id = $2 in
let type_id = $4 in
}
tyfield:
- | id COLON ID
+ | ID COLON ID
{
let id = $1 in
let type_id = $3 in
sprintf "tyfield[%s, %s]" id type_id
}
-id:
- | ID
- {
- sprintf "id[%S]" $1
- }
-
-/* Perhaps "void"? */
-unit:
- | LPAREN RPAREN
- {
- "unit[]"
- }
-
rec_field_assignments:
- | id EQ exp
+ | ID EQ exp
{
- sprintf "%S = %s" $1 $3
- }
- | id EQ exp COMMA rec_field_assignments
- {
- sprintf "%S = %s, %s" $1 $3 $5
- }
-
-fun_call:
- | id unit
- {
- sprintf "fun_call[%s, %s]" $1 $2
+ let id = $1 in
+ let exp = $3 in
+ sprintf "%S = %s" id exp
}
- | id LPAREN fun_args RPAREN
+ | ID EQ exp COMMA rec_field_assignments
{
- sprintf "fun_call[%s, %s]" $1 $3
+ let id = $1 in
+ let exp = $3 in
+ let rec_field_assignments = $5 in
+ sprintf "%S = %s, %s" id exp rec_field_assignments
}
fun_args:
| OR {"|"}
lvalue:
- | id
+ | ID
{
- sprintf "lvalue[%s]" $1
+ let id = $1 in
+ sprintf "lvalue[%s]" id
}
- | lvalue DOT id
+ | lvalue DOT ID
{
- sprintf "get_record_field[%s, %s]" $1 $3
+ let record = $1 in
+ let field = $3 in
+ sprintf "get_record_field[%s, %s]" record field
}
| lvalue LBRACK exp RBRACK
{
- sprintf "get_array_subscript[%s, %s]" $1 $3
+ let array = $1 in
+ let subscript = $3 in
+ sprintf "get_array_subscript[%s, %s]" array subscript
}
%%