diff options
| -rw-r--r-- | testsuite/tests/typing-warnings/coercions.ml.principal.reference | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/testsuite/tests/typing-warnings/coercions.ml.principal.reference b/testsuite/tests/typing-warnings/coercions.ml.principal.reference index d950e231f..39e7e7246 100644 --- a/testsuite/tests/typing-warnings/coercions.ml.principal.reference +++ b/testsuite/tests/typing-warnings/coercions.ml.principal.reference @@ -1,13 +1,11 @@ -# Characters 76-79: - fun b -> if b then format_of_string "x" else "y";; - ^^^ -Warning 18: this coercion to format6 is not principal. -- : bool -> ('a, 'b, 'c, 'd, 'd, 'a) format6 = <fun> +# - : bool -> ('a, 'b, 'c, 'd, 'd, 'a) format6 = <fun> # Characters 28-48: fun b -> if b then "x" else format_of_string "y";; ^^^^^^^^^^^^^^^^^^^^ -Error: This expression has type ('a, 'b, 'c, 'd, 'd, 'a) format6 +Error: This expression has type + ('a, 'b, 'c, 'd, 'd, 'a) format6 = + ('a, 'b, 'c, 'd, 'd, 'a) CamlinternalFormatBasics.fmt * string but an expression was expected of type string # - : bool -> ('a, 'b, 'a) format = <fun> # |