diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-01-06 00:58:42 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-01-06 00:58:42 +0100 |
commit | 23cbf43f353c50fa72b72d694611c5c14367cea2 (patch) | |
tree | a04f140b3f383a798b3aeca9b92f663ff0d98dba /checker/univ.mli | |
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 'checker/univ.mli')
-rw-r--r-- | checker/univ.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/univ.mli b/checker/univ.mli index 02c1bbdb9..f3216feac 100644 --- a/checker/univ.mli +++ b/checker/univ.mli @@ -130,7 +130,7 @@ val check_constraints : constraints -> universes -> bool (** {6 Support for universe polymorphism } *) (** Polymorphic maps from universe levels to 'a *) -module LMap : Map.S with type key = universe_level +module LMap : CSig.MapS with type key = universe_level module LSet : CSig.SetS with type elt = universe_level type 'a universe_map = 'a LMap.t |