diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr6174.ml.reference')
-rw-r--r-- | testsuite/tests/typing-gadts/pr6174.ml.reference | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/typing-gadts/pr6174.ml.reference b/testsuite/tests/typing-gadts/pr6174.ml.reference index 647015c367..8f2be5252c 100644 --- a/testsuite/tests/typing-gadts/pr6174.ml.reference +++ b/testsuite/tests/typing-gadts/pr6174.ml.reference @@ -1,8 +1,7 @@ -# Characters 118-119: +# Characters 137-138: fun C k -> k (fun x -> x);; - ^ -Error: Recursive local constraint when unifying - (((ex#0 -> ex#1) -> ex#1) -> (ex#2 -> ex#1) -> ex#1) t - with ((a -> o) -> o) t + ^ +Error: This expression has type ex#0 but an expression was expected of type + ex#1 = (ex#2 -> ex#1) -> ex#1 # |