diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr9759.ml')
| -rw-r--r-- | testsuite/tests/typing-gadts/pr9759.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-gadts/pr9759.ml b/testsuite/tests/typing-gadts/pr9759.ml index 165eccdd8b..cf68cebbc5 100644 --- a/testsuite/tests/typing-gadts/pr9759.ml +++ b/testsuite/tests/typing-gadts/pr9759.ml @@ -27,5 +27,6 @@ Line 9, characters 4-9: 9 | | indir -> ^^^^^ Warning 11 [redundant-case]: this match case is unused. + val foo : 'k general -> 'k general = <fun> |}] |