summaryrefslogtreecommitdiff
path: root/src/parser.mly
diff options
context:
space:
mode:
Diffstat (limited to 'src/parser.mly')
-rw-r--r--src/parser.mly2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly
index 0846d4bb..c0559719 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -1168,6 +1168,8 @@ type_union:
{ Tu_aux (Tu_ty_id ($3, $1), loc $startpos $endpos) }
| id Colon typ MinusGt typ
{ (fun s e -> Tu_aux (Tu_ty_id (mk_typ (ATyp_fn ($3, $5, mk_typ (ATyp_set []) s e)) s e, $1), loc s e)) $startpos $endpos }
+ | id Colon Lcurly struct_fields Rcurly
+ { Tu_aux (Tu_ty_anon_rec ($4, $1), loc $startpos $endpos) }
type_unions:
| type_union