diff options
| author | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-10-19 21:01:06 +0200 |
|---|---|---|
| committer | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-10-19 23:38:25 +0200 |
| commit | 9edbda8f70d661b7be2325e6d82afe5595cf608b (patch) | |
| tree | 3d9e7edf3d483f7ec860d1e2fccd17e8cddabb30 /testsuite/tests/typing-gadts/pr5785.ml | |
| parent | 137078e674fc786d390a1b2d75f850ee17d41301 (diff) | |
| download | ocaml-9edbda8f70d661b7be2325e6d82afe5595cf608b.tar.gz | |
Update the tests
Diffstat (limited to 'testsuite/tests/typing-gadts/pr5785.ml')
| -rw-r--r-- | testsuite/tests/typing-gadts/pr5785.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typing-gadts/pr5785.ml b/testsuite/tests/typing-gadts/pr5785.ml index 7419264580..96eed8fd5a 100644 --- a/testsuite/tests/typing-gadts/pr5785.ml +++ b/testsuite/tests/typing-gadts/pr5785.ml @@ -15,7 +15,7 @@ end;; [%%expect{| Line 7, characters 43-100: 7 | ...........................................function - | | One, One -> "two" +8 | | One, One -> "two" 9 | | Two, Two -> "four" Warning 8: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: |