From 7ebe6117789ac3c0d31c8a6ed918fce71b6d2e4b Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <matthieu.sozeau@inria.fr>
Date: Wed, 17 Dec 2014 20:22:37 +0100
Subject: checker: Change in library on disk values, now using context_sets
 instead of constraints only.

---
 checker/univ.ml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'checker/univ.ml')

diff --git a/checker/univ.ml b/checker/univ.ml
index 323a373ec..cb530149b 100644
--- a/checker/univ.ml
+++ b/checker/univ.ml
@@ -379,7 +379,8 @@ module Level = struct
 
 end
 
-(** Level maps *)
+(** Level sets and maps *)
+module LSet = Set.Make (Level)
 module LMap = Map.Make (Level)
 
 type 'a universe_map = 'a LMap.t
@@ -1297,6 +1298,14 @@ end
 
 type universe_context = UContext.t
 
+module ContextSet =
+struct
+  type t = LSet.t constrained
+  let empty = LSet.empty, Constraint.empty
+  let constraints (_, cst) = cst
+end
+type universe_context_set = ContextSet.t
+
 (** Substitutions. *)
 
 let is_empty_subst = LMap.is_empty
-- 
cgit v1.2.3