diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-01-07 16:48:03 +0100 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-11-07 15:07:46 +0100 |
commit | c76edb96775576861a5b391092677c5d48e7b30b (patch) | |
tree | c72876d6f12d57740249971e252d9e07b7683cde /toplevel/topdirs.ml | |
parent | e74569cca87a45a59eff98dff9b9d2f22ded486e (diff) | |
download | ocaml-c76edb96775576861a5b391092677c5d48e7b30b.tar.gz |
[refactoring] use named fields for Consistbl.Inconsistency exception
Diffstat (limited to 'toplevel/topdirs.ml')
-rw-r--r-- | toplevel/topdirs.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index 78ab7eb51f..53b06e193c 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -119,7 +119,11 @@ exception Load_failed let check_consistency ppf filename cu = try Env.import_crcs ~source:filename cu.cu_imports - with Persistent_env.Consistbl.Inconsistency(name, user, auth) -> + with Persistent_env.Consistbl.Inconsistency { + unit_name = name; + inconsistent_source = user; + original_source = auth; + } -> fprintf ppf "@[<hv 0>The files %s@ and %s@ \ disagree over interface %s@]@." user auth name; |