added type for list variables

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 85e085e2c04c103c2dd982b6d9ad284645012dc2..4ef51add54213bd051a8c0683c6503ad8f9a7d0b 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -45,6 +45,8 @@ type mqrvar = string                       (* name *)
 
 type mqsvar = string                       (* name *)
 
+type mqlvar = string                       (* name *)
+
 type mqpt = string option                  (* PROTOCOL TOKENS *)
                                            (* Some = constant string *)
                                            (* None = single star: '*' *)
@@ -123,7 +125,7 @@ and mqlist =
    | MQSortedBy of mqlist * mqorder * mqfunc (*  *)
    | MQLRVar of mqrvar
    | MQDiff of mqlist * mqlist               (*  *)
-   | MQLetIn of mqrvar * mqlist
+   | MQLetIn of mqrvar * mqlist * mqlist
    | MQLetRef of mqrvar
 
 type mquery =
@@ -132,7 +134,6 @@ type mquery =
 (* Output types *************************************************************)
 (* main type is mqresult                                                    *)
 
-(* TODO: usare le uri in questo formato *)
 type mquref = UriManager.uri * (int list)   (* uri, fragment identifier *)
 
 type mqrefs = string list                   (* list of references (helper) *)