[B] #1795: Fix #1794: Add -unboxed-types and -no-unboxed-types to…

… ignored flags

CHANGES.md

@@ -4,6 +4,7 @@ unreleased
   + merlin binary
     - A new `WRAPPING_PREFIX` configuration directive that can be used to tell Merlin
       what to append to the current unit name in the presence of wrapping (#1788)
+    - Add `-unboxed-types` and `-no-unboxed-types` as ocaml ignored flags (#1795, fixes #1794)
   + editor modes
     - vim: fix python-3.12 syntax warnings in merlin.py (#1798)
 

src/kernel/mconfig.ml

@@ -430,10 +430,10 @@ let ocaml_ignored_flags = [
   "-noautolink"; "-no-check-prims"; "-nodynlink"; "-no-float-const-prop";
   "-no-keep-locs"; "-no-principal"; "-no-rectypes"; "-no-strict-formats";
   "-no-strict-sequence"; "-no-unbox-free-vars-of-clos";
-  "-no-unbox-specialised-args"; "-O2"; "-O3"; "-Oclassic"; "-opaque";
-  "-output-complete-obj"; "-output-obj"; "-p"; "-pack";
-  "-remove-unused-arguments"; "-S"; "-shared"; "-unbox-closures"; "-v";
-  "-verbose"; "-where";
+  "-no-unbox-specialised-args"; "-no-unboxed-types"; "-O2"; "-O3";
+  "-Oclassic"; "-opaque"; "-output-complete-obj"; "-output-obj"; "-p"; "-pack";
+  "-remove-unused-arguments"; "-S"; "-shared"; "-unbox-closures";
+  "-unboxed-types"; "-v"; "-verbose"; "-where";
 ]
 
 let ocaml_ignored_parametrized_flags = [

tests/test-dirs/errors/issue1794.t

@@ -0,0 +1,13 @@
+  $ $MERLIN single errors -filename main.ml -unboxed-types
+  {
+    "class": "return",
+    "value": [],
+    "notifications": []
+  }
+
+  $ $MERLIN single errors -filename main.ml -no-unboxed-types
+  {
+    "class": "return",
+    "value": [],
+    "notifications": []
+  }