diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr5785.ml')
-rw-r--r-- | testsuite/tests/typing-gadts/pr5785.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-gadts/pr5785.ml b/testsuite/tests/typing-gadts/pr5785.ml index aebad418d0..7817cb0422 100644 --- a/testsuite/tests/typing-gadts/pr5785.ml +++ b/testsuite/tests/typing-gadts/pr5785.ml @@ -20,6 +20,7 @@ Lines 7-9, characters 43-24: Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (One, Two) + module Add : functor (T : sig type two end) -> sig |