Cleanup

nojb · nojb · commit 1ea51b7bfcf6 · 2025-05-16T09:57:48.000+02:00
diff --git a/parsing/parser.mly b/parsing/parser.mly
@@ -1017,8 +1017,6 @@ The precedences must be listed from low to high.
     { mkpat ~loc:$sloc $1 }
 %inline mktyp(symb): symb
     { mktyp ~loc:$sloc $1 }
-%inline mkstr(symb): symb
-    { mkstr ~loc:$sloc $1 }
 %inline mksig(symb): symb
     { mksig ~loc:$sloc $1 }
 %inline mkmod(symb): symb
@@ -1523,12 +1521,10 @@ structure:
 structure_item:
     let_bindings(ext)
       { val_of_let_bindings ~loc:$sloc $1 }
-  | mkstr(
-      floating_attribute
-        { Pstr_attribute $1 }
-    )
   | wrap_mkstr_ext(
-      primitive_declaration
+      floating_attribute
+        { Pstr_attribute $1, None }
+    | primitive_declaration
         { pstr_primitive $1 }
     | value_description
         { pstr_primitive $1 }
@@ -1556,13 +1552,11 @@ structure_item:
 
 (* A local structure item (= can appear in let expressions) *)
 local_structure_item:
-  | mkstr(
+    wrap_mkstr_ext(
       item_extension post_item_attributes
         { let docs = symbol_docs $sloc in
-          Pstr_extension ($1, add_docs_attrs docs $2) }
-    )
-  | wrap_mkstr_ext(
-      sig_exception_declaration
+          Pstr_extension ($1, add_docs_attrs docs $2), None }
+    | sig_exception_declaration
         { pstr_exception $1 }
     | module_binding
         { pstr_module $1 }
