- "unit[]"
- }
-
-rec_field_assignments:
- | ID EQ exp
- {
- let id = $1 in
- let exp = $3 in
- sprintf "%S = %s" id exp
- }
- | ID EQ exp COMMA rec_field_assignments
- {
- let id = $1 in
- let exp = $3 in
- let rec_field_assignments = $5 in
- sprintf "%S = %s, %s" id exp rec_field_assignments
- }
-
-fun_call:
- | ID unit
- {
- 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
+ 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