diff options
| author | Maxime Dénès | 2016-01-06 00:58:42 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-01-06 00:58:42 +0100 |
| commit | 23cbf43f353c50fa72b72d694611c5c14367cea2 (patch) | |
| tree | a04f140b3f383a798b3aeca9b92f663ff0d98dba /library | |
| parent | ffc135337b479349a9e94c0da0a87531cf0684fa (diff) | |
Protect code against changes in Map interface.
The Map interface of upcoming OCaml 4.03 includes a new union operator. In
order to make our homemade implementation of Maps compatible with OCaml
versions from 3.12 to 4.03, we define our own signatures for Maps.
Diffstat (limited to 'library')
| -rw-r--r-- | library/goptions.mli | 2 | ||||
| -rw-r--r-- | library/libnames.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/library/goptions.mli b/library/goptions.mli index 9d87c14c50..25b5315c2a 100644 --- a/library/goptions.mli +++ b/library/goptions.mli @@ -133,7 +133,7 @@ val declare_stringopt_option: string option option_sig -> string option write_fu (** {6 Special functions supposed to be used only in vernacentries.ml } *) -module OptionMap : Map.S with type key = option_name +module OptionMap : CSig.MapS with type key = option_name val get_string_table : option_name -> diff --git a/library/libnames.mli b/library/libnames.mli index b95c088715..c72f517532 100644 --- a/library/libnames.mli +++ b/library/libnames.mli @@ -60,7 +60,7 @@ val path_of_string : string -> full_path val string_of_path : full_path -> string val pr_path : full_path -> std_ppcmds -module Spmap : Map.S with type key = full_path +module Spmap : CSig.MapS with type key = full_path val restrict_path : int -> full_path -> full_path |