diff options
| author | Alasdair Armstrong | 2019-01-08 17:08:34 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-01-08 17:11:48 +0000 |
| commit | eb837a0ae70ef5dc8a2a3a28d59a736c57a952b3 (patch) | |
| tree | 96f3fcfde01cc6798d00c969be4363c2bf055b38 /src/error_format.ml | |
| parent | 36d876fd74d8fdcb9bb54a4c0aa220f0ab14e5da (diff) | |
Improvements for v85
Diffstat (limited to 'src/error_format.ml')
| -rw-r--r-- | src/error_format.ml | 12 |
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) |
