Merge pull request ocaml#510 from shubhamkumar13/fix-typing-gadts-tes…

…t-principality-and-gadts

Update a testcase in principality-and-gadts.ml to reflect changes in ocaml#9584

testsuite/disabled

@@ -21,10 +21,6 @@ tests/lib-dynlink-private/'test.ml' with 1.2.1.2.8.19.1 (run)
 tests/weak-ephe-final/'weaktest.ml' with 1 (native)
 tests/weak-ephe-final/'weaktest.ml' with 2 (bytecode)
 
-# TODO: something is bad in typing with gadts and effects
-# (went wrong when this test was introduced in #1931)
-tests/typing-gadts/'principality-and-gadts.ml' with 1 (expect)
-
 # TODO: port the new Ephemeron C-api to multicore
 #  https://github.com/ocaml/ocaml/pull/676
 ephe-c-api

testsuite/tests/typing-gadts/principality-and-gadts.ml

@@ -404,7 +404,7 @@ val foo : string foo -> string = <fun>
 Line 3, characters 29-34:
 3 |   | { x = (x : string); eq = Refl3 } -> x
                                  ^^^^^
-Warning 18 [not-principal]: typing this pattern requires considering M.t and string as equal.
+Warning 18 [not-principal]: typing this pattern requires considering M.t and N.t as equal.
 But the knowledge of these types is not principal.
 val foo : string foo -> string = <fun>
 |}]