diff options
author | Matej Košík <matej.kosik@inria.fr> | 2017-06-11 15:14:15 +0200 |
---|---|---|
committer | Matej Košík <matej.kosik@inria.fr> | 2017-07-27 10:10:23 +0200 |
commit | e3c247c1d96f39d2c07d120b69598a904b7d9f19 (patch) | |
tree | a9d3735d5d3f53140aa1123e87f4d4c8db8840f8 /library/libnames.mli | |
parent | a960c4db9ae93a6445f9db620f96f62b397ba8b5 (diff) |
deprecate Pp.std_ppcmds type alias
Diffstat (limited to 'library/libnames.mli')
-rw-r--r-- | library/libnames.mli | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/library/libnames.mli b/library/libnames.mli index b6d6f7f3b..1b351290a 100644 --- a/library/libnames.mli +++ b/library/libnames.mli @@ -7,14 +7,13 @@ (************************************************************************) open Util -open Pp open Loc open Names (** {6 Dirpaths } *) (** FIXME: ought to be in Names.dir_path *) -val pr_dirpath : DirPath.t -> Pp.std_ppcmds +val pr_dirpath : DirPath.t -> Pp.t val dirpath_of_string : string -> DirPath.t val string_of_dirpath : DirPath.t -> string @@ -58,7 +57,7 @@ val basename : full_path -> Id.t (** Parsing and printing of section path as ["coq_root.module.id"] *) val path_of_string : string -> full_path val string_of_path : full_path -> string -val pr_path : full_path -> std_ppcmds +val pr_path : full_path -> Pp.t module Spmap : CSig.MapS with type key = full_path @@ -77,7 +76,7 @@ val repr_qualid : qualid -> DirPath.t * Id.t val qualid_eq : qualid -> qualid -> bool -val pr_qualid : qualid -> std_ppcmds +val pr_qualid : qualid -> Pp.t val string_of_qualid : qualid -> string val qualid_of_string : string -> qualid @@ -124,7 +123,7 @@ type reference = val eq_reference : reference -> reference -> bool val qualid_of_reference : reference -> qualid located val string_of_reference : reference -> string -val pr_reference : reference -> std_ppcmds +val pr_reference : reference -> Pp.t val loc_of_reference : reference -> Loc.t option val join_reference : reference -> reference -> reference |