diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr7432.ml')
-rw-r--r-- | testsuite/tests/typing-gadts/pr7432.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-gadts/pr7432.ml b/testsuite/tests/typing-gadts/pr7432.ml index f7efea65fe..abb2167be1 100644 --- a/testsuite/tests/typing-gadts/pr7432.ml +++ b/testsuite/tests/typing-gadts/pr7432.ml @@ -27,6 +27,7 @@ Line 2, characters 2-30: Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: `L Refl + val f : [ `L of (s, t) eql | `R of silly ] -> 'a = <fun> |}] |