Fix ocaml#1794

voodoos · Jul 8, 2024 · f17f3cf · f17f3cf
1 parent 3bab2f7
commit f17f3cf
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 20 deletions.
diff --git a/src/kernel/mconfig.ml b/src/kernel/mconfig.ml
@@ -457,10 +457,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 = [

diff --git a/tests/test-dirs/errors/issue1794.t b/tests/test-dirs/errors/issue1794.t
@@ -1,27 +1,13 @@
   $ $MERLIN single errors -filename main.ml -unboxed-types
   {
     "class": "return",
-    "value": [
-      {
-        "type": "config",
-        "sub": [],
-        "valid": true,
-        "message": "unknown flag -unboxed-types"
-      }
-    ],
+    "value": [],
     "notifications": []
   }
 
   $ $MERLIN single errors -filename main.ml -no-unboxed-types
   {
     "class": "return",
-    "value": [
-      {
-        "type": "config",
-        "sub": [],
-        "valid": true,
-        "message": "unknown flag -no-unboxed-types"
-      }
-    ],
+    "value": [],
     "notifications": []
   }