diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr5332.ml.reference')
| -rw-r--r-- | testsuite/tests/typing-gadts/pr5332.ml.reference | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typing-gadts/pr5332.ml.reference b/testsuite/tests/typing-gadts/pr5332.ml.reference index a77459917c..4cf48a22c9 100644 --- a/testsuite/tests/typing-gadts/pr5332.ml.reference +++ b/testsuite/tests/typing-gadts/pr5332.ml.reference @@ -14,6 +14,6 @@ Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: (Tbool, Tvar _) -val f : ('a, 'b) typ -> ('a, 'b) typ -> int = <fun> +val f : ('env, 'a) typ -> ('env, 'a) typ -> int = <fun> # Exception: Match_failure ("//toplevel//", 9, 1). # |