Browse files

fix testsuite/tests/typing-warnings/

The change is benine: currently, error messages about format6 also
give its definition as a product of an inner format and a string: the
message changes, but the semantics is the same.

Ultimately, we want the error message *not* to change (we don't want
the internal implementation of formats to be exposed to the innocent
user), and that will be achieved by converting format6 to a nominal
type instead of a structural pair.

git-svn-id: f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent 78315ea commit af49756df3782c958e12148395b36f1bc00c858b @gasche gasche committed May 12, 2014
Showing with 3 additions and 1 deletion.
  1. +3 −1 testsuite/tests/typing-warnings/
@@ -3,7 +3,9 @@
# 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>

0 comments on commit af49756

Please sign in to comment.