From 18f6319703d7bec460754fdceee5f0f2cfbc2702 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 22 Nov 2017 10:57:11 +0100
Subject: Catalog representation

---
 evaluator.ml  | 4 +++-
 evaluator.mli | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/evaluator.ml b/evaluator.ml
index 12d60b8..2809507 100755
--- a/evaluator.ml
+++ b/evaluator.ml
@@ -82,7 +82,9 @@ module C = Catalog.Make(Data)
 
 type t = C.t
 
-let catalog = C.empty
+let catalog = ref C.empty
+
+let get_catalog () = !catalog
 
 let repr = C.repr
 
diff --git a/evaluator.mli b/evaluator.mli
index ce5db7b..b296b90 100755
--- a/evaluator.mli
+++ b/evaluator.mli
@@ -4,6 +4,8 @@ val eval: (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes.
 
 val repr: Format.formatter -> t -> unit
 
+val get_catalog: unit -> t
+
 (** Type definitions *)
 
 type 'a typ 
-- 
cgit v1.2.3