diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-22 10:57:11 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-22 10:57:11 +0100 |
| commit | 18f6319703d7bec460754fdceee5f0f2cfbc2702 (patch) | |
| tree | 4c797600b62ccf3afc9e6c591703167c394bd033 | |
| parent | 79f1dddf8958a65ce57ac4601a36289019b5f384 (diff) | |
Catalog representation
| -rwxr-xr-x | evaluator.ml | 4 | ||||
| -rwxr-xr-x | evaluator.mli | 2 |
2 files changed, 5 insertions, 1 deletions
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
|