From 6e67bd83fc8e1465bfdb7fcd4cd8eef9c9350b45 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 28 May 2003 13:57:33 +0000 Subject: [PATCH] extended syntax for add --- helm/ocaml/mathql_interpreter/mQIExecute.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/mathql_interpreter/mQIExecute.ml b/helm/ocaml/mathql_interpreter/mQIExecute.ml index 7bd7bd8b9..2f5ca7eb6 100644 --- a/helm/ocaml/mathql_interpreter/mQIExecute.ml +++ b/helm/ocaml/mathql_interpreter/mQIExecute.ml @@ -232,9 +232,10 @@ let execute out m x = let keep_av (s, g) = (s, List.fold_right keep_set g []) in List.map keep_av (eval_query c x) and eval_grp c = function - | M.Attr l -> + | M.Attr gs -> let attr_aux g (p, y) = U.mql_union g [(p, eval_val c y)] in - [List.fold_left attr_aux [] l] + let attr_auxs s l = U.set_union s [List.fold_left attr_aux [] l] in + List.fold_left attr_auxs [] gs | M.From i -> try snd (List.assoc i c.avars) with Not_found -> warn (M.AVar i); [] -- 2.39.2