From eb837a0ae70ef5dc8a2a3a28d59a736c57a952b3 Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Tue, 8 Jan 2019 17:08:34 +0000 Subject: Improvements for v85 --- src/error_format.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src/error_format.ml') 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) -- cgit v1.2.3