From dcc98e7121fef75c9244a80427d036b312632d0d Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 20 Feb 2004 17:12:56 +0000 Subject: [PATCH] hard-coded timing of generated queries disabled: use T interpreter flag instead. --- helm/ocaml/mathql_generator/mQueryGenerator.ml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.ml b/helm/ocaml/mathql_generator/mQueryGenerator.ml index 7e0dd9c96..7175eb615 100644 --- a/helm/ocaml/mathql_generator/mQueryGenerator.ml +++ b/helm/ocaml/mathql_generator/mQueryGenerator.ml @@ -35,7 +35,7 @@ module U = MQGUtil let locate s = let query = M.Property (true,M.RefineExact,["objectName"],[],[],[],[],false,(M.Const s) ) - in M.StatQuery query + in query let unreferred target_pattern source_pattern = let query = @@ -46,7 +46,7 @@ let unreferred target_pattern source_pattern = M.Property(false,M.RefineExact,["refObj"],["h:occurrence"],[],[],[],true,(M.Const source_pattern)) )) - in M.StatQuery query + in query let compose cl = let letin = ref [] in @@ -137,7 +137,7 @@ let compose cl = let f (vvar, msval) x = M.LetVVar(vvar,msval,x) in iter f (fun x y z -> x (y z)) ! letin in - M.StatQuery (letin_query (select_query must_query)) + letin_query (select_query must_query) (* high-level functions ****************************************************) @@ -181,4 +181,3 @@ let query_of_constraints u (musts_obj, musts_rel, musts_sort) in let univ = match u with None -> [] | Some l -> [T.Universe l] in compose (must @ only @ univ) - -- 2.39.2