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) *)