diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-05-28 21:58:42 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-05-28 21:58:42 +0000 |
| commit | 18cb4a0c2883c7b29d6ecd54fc54d55c06b6c394 (patch) | |
| tree | 9faee19ceff7099702fe90578c97ce0586149273 | |
| parent | c7873aa96ebe56d658933ee1b83698a5c2970f8e (diff) | |
typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/typecore.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typecore.ml b/typing/typecore.ml index 4afb1ee17..020adcb8d 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -2985,7 +2985,7 @@ let report_error ppf = function reset_and_mark_loops typ; begin match (repr typ).desc with Tarrow _ -> - fprintf ppf "@[<v>@[<2>This function has type@;<1 2>%a@]" + fprintf ppf "@[<v>@[<2>This function has type@ %a@]" type_expr typ; fprintf ppf "@ @[It is applied to too many arguments;@ %s@]@]" "maybe you forgot a `;'." |