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); []