From: lordi <??>
Date: Fri, 14 Jun 2002 08:03:01 +0000 (+0000)
Subject: added type for list variables
X-Git-Tag: V_0_3_0_debian_8~39
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=11e17663d4496ea6354e41c283c95fe6d820e218;p=helm.git

added type for list variables
---

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 85e085e2c..4ef51add5 100644
--- 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) *)