use tyvar_name_or_underscore more

janestreet · Nov 27, 2023 · 114e9f5 · 114e9f5
1 parent 0055c97
commit 114e9f5
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/vendor/parser-extended/parser.mly b/vendor/parser-extended/parser.mly
@@ -3861,10 +3861,8 @@ atomic_type:
         { Ptyp_variant($3, Closed, Some $5) }
     | extension
         { Ptyp_extension $1 }
-    | LPAREN QUOTE name=mkrhs(ident {Some $1}) COLON layout=layout_annotation RPAREN
-      { Ptyp_var (name, Some layout) }
-    | LPAREN mkrhs(UNDERSCORE {None}) COLON layout=layout_annotation RPAREN
-      { Ptyp_var ($2, Some layout) }
+    | LPAREN var=mkrhs(tyvar_name_or_underscore) COLON layout=layout_annotation RPAREN
+      { Ptyp_var (var, Some layout) }
 
   )
   { $1 } /* end mktyp group */