- "unit[]"
- }
-
-type_id:
- | id
- {
- sprintf "type_id[%S]" $1
- }
-
-rec_field_assignments:
- | 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
- }
- | id LPAREN fun_args RPAREN
- {
- sprintf "fun_call[%s, %s]" $1 $3
+ let id_1 = $1 in
+ let id_2 = $3 in
+ let tyfield = sprintf "%s : %s" id_1 id_2 in
+ let tyfields = $5 in
+ sprintf "%s, %s" tyfield tyfields