super_errors_multi: cover includecore Privacy, Field_mutable, Field_optional, Unboxed_representation, Tag_name mismatches

JonoPrest · JonoPrest · commit fec7103f5bee · 2026-05-20T10:52:18.000+02:00
diff --git a/tests/build_tests/super_errors_multi/expected/Iface_field_mutable_mismatch.expected b/tests/build_tests/super_errors_multi/expected/Iface_field_mutable_mismatch.expected
@@ -0,0 +1,19 @@
+===== Foo.res =====
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/Iface_field_mutable_mismatch/Foo.res[0m:[2m1:1-21[0m
+
+  [1;31m1[0m [2m│[0m [1;31mtype t = {count: int}[0m
+  2 [2m│[0m 
+
+  The implementation /.../fixtures/Iface_field_mutable_mismatch/Foo.res
+  does not match the interface /.../fixtures/Iface_field_mutable_mismatch/foo.cmi:
+  Type declarations do not match:
+    type t = {count: int}
+  is not included in
+    type t = {mutable count: int}
+  [36m/.../fixtures/Iface_field_mutable_mismatch/Foo.resi[0m:[2m1:1-29[0m:
+    Expected declaration
+  [36m/.../fixtures/Iface_field_mutable_mismatch/Foo.res[0m:[2m1:1-21[0m:
+    Actual declaration
+  The mutability of field count is different.
diff --git a/tests/build_tests/super_errors_multi/expected/Iface_field_optional_mismatch.expected b/tests/build_tests/super_errors_multi/expected/Iface_field_optional_mismatch.expected
@@ -0,0 +1,19 @@
+===== Foo.res =====
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/Iface_field_optional_mismatch/Foo.res[0m:[2m1:1-28[0m
+
+  [1;31m1[0m [2m│[0m [1;31mtype t = {a: int, b: string}[0m
+  2 [2m│[0m 
+
+  The implementation /.../fixtures/Iface_field_optional_mismatch/Foo.res
+  does not match the interface /.../fixtures/Iface_field_optional_mismatch/foo.cmi:
+  Type declarations do not match:
+    type t = {a: int, b: string}
+  is not included in
+    type t = {a: int, b?: string}
+  [36m/.../fixtures/Iface_field_optional_mismatch/Foo.resi[0m:[2m1:1-29[0m:
+    Expected declaration
+  [36m/.../fixtures/Iface_field_optional_mismatch/Foo.res[0m:[2m1:1-28[0m:
+    Actual declaration
+  The optional attribute of field b is different.
diff --git a/tests/build_tests/super_errors_multi/expected/Iface_privacy_mismatch.expected b/tests/build_tests/super_errors_multi/expected/Iface_privacy_mismatch.expected
@@ -0,0 +1,19 @@
+===== Foo.res =====
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/Iface_privacy_mismatch/Foo.res[0m:[2m1:1-20[0m
+
+  [1;31m1[0m [2m│[0m [1;31mtype t = private int[0m
+  2 [2m│[0m 
+
+  The implementation /.../fixtures/Iface_privacy_mismatch/Foo.res
+  does not match the interface /.../fixtures/Iface_privacy_mismatch/foo.cmi:
+  Type declarations do not match:
+    type t = int
+  is not included in
+    type t = int
+  [36m/.../fixtures/Iface_privacy_mismatch/Foo.resi[0m:[2m1:1-12[0m:
+    Expected declaration
+  [36m/.../fixtures/Iface_privacy_mismatch/Foo.res[0m:[2m1:1-20[0m:
+    Actual declaration
+  A private type would be revealed.
diff --git a/tests/build_tests/super_errors_multi/expected/Iface_tag_name_mismatch.expected b/tests/build_tests/super_errors_multi/expected/Iface_tag_name_mismatch.expected
@@ -0,0 +1,22 @@
+===== Foo.res =====
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/Iface_tag_name_mismatch/Foo.res[0m:[2m2:1-4:5[0m
+
+  1 [2m│[0m @tag("type")
+  [1;31m2[0m [2m│[0m [1;31mtype t =[0m
+  [1;31m3[0m [2m│[0m [1;31m  | @as("a") A[0m
+  [1;31m4[0m [2m│[0m [1;31m  | B[0m
+  5 [2m│[0m 
+
+  The implementation /.../fixtures/Iface_tag_name_mismatch/Foo.res
+  does not match the interface /.../fixtures/Iface_tag_name_mismatch/foo.cmi:
+  Type declarations do not match:
+    type t = @as("a") A | B
+  is not included in
+    type t = @as("a") A | B
+  [36m/.../fixtures/Iface_tag_name_mismatch/Foo.resi[0m:[2m2:1-4:5[0m:
+    Expected declaration
+  [36m/.../fixtures/Iface_tag_name_mismatch/Foo.res[0m:[2m2:1-4:5[0m:
+    Actual declaration
+  Their @tag annotations differ.
diff --git a/tests/build_tests/super_errors_multi/expected/Iface_unboxed_variant_mismatch.expected b/tests/build_tests/super_errors_multi/expected/Iface_unboxed_variant_mismatch.expected
@@ -0,0 +1,21 @@
+===== Foo.res =====
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-2:13[0m
+
+  [1;31m1[0m [2m│[0m [1;31mtype t =[0m
+  [1;31m2[0m [2m│[0m [1;31m  | Wrap(int)[0m
+  3 [2m│[0m 
+
+  The implementation /.../fixtures/Iface_unboxed_variant_mismatch/Foo.res
+  does not match the interface /.../fixtures/Iface_unboxed_variant_mismatch/foo.cmi:
+  Type declarations do not match:
+    type t = Wrap(int)
+  is not included in
+    @unboxed type t = Wrap(int)
+  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.resi[0m:[2m2:1-3:13[0m:
+    Expected declaration
+  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-2:13[0m:
+    Actual declaration
+  Their internal representations differ:
+  the second declaration uses unboxed representation.
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_field_mutable_mismatch/Foo.res b/tests/build_tests/super_errors_multi/fixtures/Iface_field_mutable_mismatch/Foo.res
@@ -0,0 +1 @@
+type t = {count: int}
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_field_mutable_mismatch/Foo.resi b/tests/build_tests/super_errors_multi/fixtures/Iface_field_mutable_mismatch/Foo.resi
@@ -0,0 +1 @@
+type t = {mutable count: int}
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_field_optional_mismatch/Foo.res b/tests/build_tests/super_errors_multi/fixtures/Iface_field_optional_mismatch/Foo.res
@@ -0,0 +1 @@
+type t = {a: int, b: string}
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_field_optional_mismatch/Foo.resi b/tests/build_tests/super_errors_multi/fixtures/Iface_field_optional_mismatch/Foo.resi
@@ -0,0 +1 @@
+type t = {a: int, b?: string}
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_privacy_mismatch/Foo.res b/tests/build_tests/super_errors_multi/fixtures/Iface_privacy_mismatch/Foo.res
@@ -0,0 +1 @@
+type t = private int
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_privacy_mismatch/Foo.resi b/tests/build_tests/super_errors_multi/fixtures/Iface_privacy_mismatch/Foo.resi
@@ -0,0 +1 @@
+type t = int
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_tag_name_mismatch/Foo.res b/tests/build_tests/super_errors_multi/fixtures/Iface_tag_name_mismatch/Foo.res
@@ -0,0 +1,4 @@
+@tag("type")
+type t =
+  | @as("a") A
+  | B
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_tag_name_mismatch/Foo.resi b/tests/build_tests/super_errors_multi/fixtures/Iface_tag_name_mismatch/Foo.resi
@@ -0,0 +1,4 @@
+@tag("kind")
+type t =
+  | @as("a") A
+  | B
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_unboxed_variant_mismatch/Foo.res b/tests/build_tests/super_errors_multi/fixtures/Iface_unboxed_variant_mismatch/Foo.res
@@ -0,0 +1 @@
+type t = Wrap(int)
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_unboxed_variant_mismatch/Foo.resi b/tests/build_tests/super_errors_multi/fixtures/Iface_unboxed_variant_mismatch/Foo.resi
@@ -0,0 +1,2 @@
+@unboxed
+type t = Wrap(int)

-Original file line number
+Diff line change
@@ @@ -0,0 +1,22 @@ @@
 +===== Foo.res =====
++
 +  [1;31mWe've found a bug for you![0m
 +  [36m/.../fixtures/Iface_tag_name_mismatch/Foo.res[0m:[2m2:1-4:5[0m
++
 +  1 [2m│[0m @tag("type")
 +  [1;31m2[0m [2m│[0m [1;31mtype t =[0m
 +  [1;31m3[0m [2m│[0m [1;31m  | @as("a") A[0m
 +  [1;31m4[0m [2m│[0m [1;31m  | B[0m
 +  5 [2m│[0m
++
 +  The implementation /.../fixtures/Iface_tag_name_mismatch/Foo.res
 +  does not match the interface /.../fixtures/Iface_tag_name_mismatch/foo.cmi:
 +  Type declarations do not match:
 +    type t = @as("a") A | B
 +  is not included in
 +    type t = @as("a") A | B
 +  [36m/.../fixtures/Iface_tag_name_mismatch/Foo.resi[0m:[2m2:1-4:5[0m:
 +    Expected declaration
 +  [36m/.../fixtures/Iface_tag_name_mismatch/Foo.res[0m:[2m2:1-4:5[0m:
 +    Actual declaration
 +  Their @tag annotations differ.