From ca6168d2220333af9bac103b6a82e4a3bfd4bc0b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 17 Sep 2002 09:00:31 +0000 Subject: [PATCH] vvar context component added --- helm/ocaml/mathql_interpreter/mqint.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml index 053e20c74..02055f727 100644 --- a/helm/ocaml/mathql_interpreter/mqint.ml +++ b/helm/ocaml/mathql_interpreter/mqint.ml @@ -265,6 +265,8 @@ type rvar_context = (MathQL.rvar * MathQL.resource) list type group_context = (MathQL.rvar * MathQL.attribute_group) list +type vvar_context = (MathQL.vvar * MathQL.value) list + let svars = ref [] (* contesto delle svar *) @@ -272,6 +274,7 @@ let rvars = ref [] (* contesto delle rvar *) let groups = ref [] (* contesto dei gruppi *) +let vvars = ref [] (* contesto delle vvar introdotte con let-in *) (* valuta una MathQL.set_exp e ritorna un MathQL.resource_set *) -- 2.39.2