diff options
Diffstat (limited to 'testsuite/tests/typing-sigsubst/test_locations.compilers.reference')
| -rw-r--r-- | testsuite/tests/typing-sigsubst/test_locations.compilers.reference | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/testsuite/tests/typing-sigsubst/test_locations.compilers.reference b/testsuite/tests/typing-sigsubst/test_locations.compilers.reference index 86afba6715..c315538122 100644 --- a/testsuite/tests/typing-sigsubst/test_locations.compilers.reference +++ b/testsuite/tests/typing-sigsubst/test_locations.compilers.reference @@ -2,14 +2,7 @@ File "test_loc_type_eq.ml", line 1, characters 49-76: 1 | module M : Test_functor.S with type elt = unit = Test_functor.Apply (String) ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Error: Signature mismatch: - Modules do not match: - sig - type elt = String.t - type t = Test_functor.Apply(String).t - val create : elt -> t - end - is not included in - sig type elt = unit type t val create : elt -> t end + ... Type declarations do not match: type elt = String.t is not included in |