diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr6241.ml')
-rw-r--r-- | testsuite/tests/typing-gadts/pr6241.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typing-gadts/pr6241.ml b/testsuite/tests/typing-gadts/pr6241.ml index 3a7781446f..330965f7f1 100644 --- a/testsuite/tests/typing-gadts/pr6241.ml +++ b/testsuite/tests/typing-gadts/pr6241.ml @@ -30,7 +30,7 @@ A module M : functor (A : sig module type T end) (B : sig module type T end) -> sig val f : ((module A.T), (module B.T)) t -> string end -module A : sig module type T = sig end end +module A : sig module type T = sig end end module N : sig val f : ((module A.T), (module A.T)) t -> string end Exception: Match_failure ("", 8, 52). |}];; |