diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-04-14 03:41:18 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-04-14 03:41:18 +0000 |
| commit | 276af94f3d9b320dbd15eb729de7b25768e70a1b (patch) | |
| tree | be30c850c4320c264ddd10db9efac512dcb4b311 | |
| parent | d31a1dcf56493d0c010fde31848b74b584e564b6 (diff) | |
error messages
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3081 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/typecore.ml | 4 | ||||
| -rw-r--r-- | utils/config.mlp | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/typing/typecore.ml b/typing/typecore.ml index d0479354f..34414e8a1 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -1345,8 +1345,8 @@ let report_error ppf = function fprintf ppf "This function expects too many arguments" | Abstract_wrong_label (l, ty) -> let label_mark = function - | "" -> "but its argument is not labeled" - | l -> sprintf "but its argument is labeled %s" l in + | "" -> "but its first argument is not labeled" + | l -> sprintf "but its first argument is labeled %s" l in reset_and_mark_loops ty; fprintf ppf "@[<v>@[<2>This function should have type@ %a@]@,%s@]" type_expr ty (label_mark l) diff --git a/utils/config.mlp b/utils/config.mlp index ae05ea742..eb2510ad8 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -12,7 +12,7 @@ (* $Id$ *) -let version = "2.99+17 (2000-04-12)" +let version = "2.99+18 (2000-04-14)" let standard_library = try |