summaryrefslogtreecommitdiff
path: root/src/error_format.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2019-01-08 17:08:34 +0000
committerAlasdair Armstrong2019-01-08 17:11:48 +0000
commiteb837a0ae70ef5dc8a2a3a28d59a736c57a952b3 (patch)
tree96f3fcfde01cc6798d00c969be4363c2bf055b38 /src/error_format.ml
parent36d876fd74d8fdcb9bb54a4c0aa220f0ab14e5da (diff)
Improvements for v85
Diffstat (limited to 'src/error_format.ml')
-rw-r--r--src/error_format.ml12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/error_format.ml b/src/error_format.ml
index f152f0ae..8e00c2b7 100644
--- a/src/error_format.ml
+++ b/src/error_format.ml
@@ -114,18 +114,18 @@ type message =
let bullet = Util.(clear (blue "*"))
-let rec format_message msg =
+let rec format_message msg ppf =
match msg with
| Location (l, msg) ->
- format_loc l (format_message msg)
+ format_loc l (format_message msg) ppf
| Line str ->
- format_endline str
+ format_endline str ppf
| Seq messages ->
- fun ppf -> List.iter (fun msg -> format_message msg ppf) messages
+ List.iter (fun msg -> format_message msg ppf) messages
| List list ->
let format_list_item ppf (header, msg) =
format_endline (Util.(clear (blue "*")) ^ " " ^ header) ppf;
format_message msg { ppf with indent = ppf.indent ^ " " }
in
- fun ppf -> List.iter (format_list_item ppf) list
- | With (f, msg) -> fun ppf -> format_message msg (f ppf)
+ List.iter (format_list_item ppf) list
+ | With (f, msg) -> format_message msg (f ppf)