diff options
author | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-07-27 14:22:22 +0200 |
---|---|---|
committer | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-08-08 17:42:08 +0200 |
commit | c0820e30cbcec029de8eabce74f768498afceb06 (patch) | |
tree | 782cf017e0f7f643b8f954927a840d442fc9e231 /typing/typetexp.ml | |
parent | 818dc938f0081b21e201e112d64b429604d6c1a4 (diff) | |
download | ocaml-c0820e30cbcec029de8eabce74f768498afceb06.tar.gz |
Location: significantly rework the code printing errors and warnings
Diffstat (limited to 'typing/typetexp.ml')
-rw-r--r-- | typing/typetexp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typetexp.ml b/typing/typetexp.ml index 98c5807ccd..41ffb10dd8 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -1042,7 +1042,7 @@ let () = Location.register_error_of_exn (function | Error (loc, env, err) -> - Some (Location.error_of_printer loc (report_error env) err) + Some (Location.error_of_printer ~loc (report_error env) err) | Error_forward err -> Some err | _ -> |