diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr6993_bad.ml')
-rw-r--r-- | testsuite/tests/typing-gadts/pr6993_bad.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-gadts/pr6993_bad.ml b/testsuite/tests/typing-gadts/pr6993_bad.ml index 7f71417e1f..d3a74ce497 100644 --- a/testsuite/tests/typing-gadts/pr6993_bad.ml +++ b/testsuite/tests/typing-gadts/pr6993_bad.ml @@ -23,6 +23,7 @@ Line 2, characters 36-66: Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Y + val f : ('a list, 'a) eqp -> unit = <fun> module rec A : sig type t = B.t list end and B : sig type t val eq : (B.t list, t) eqp end |