let qtree = compile_step_list r in
let res = Binop ( Inter,Axis (a,qtree), Tag (test) ) in
List.fold_left (fun acc e ->
- Binop(Inter, acc, compile_expr e)) res el (*avant j'ai utilise une function compile_expr_list ,c'est pas genial*)
+ Binop(Inter, acc, compile_expr e)) res el
and compile_expr (e : Xpath.Ast.expr ) = match e with
| Fun_call (f, [ e0 ]) when (QName.to_string f) = "not" ->
| Absolute p | Relative p -> compile_step_list_rev p (*(List.rev p)*)
and compile_step_list_rev p = match p with
- | [] -> Dom (*assert false*) (*on fait rien , mais comment signifer ???*)
+ | [] -> Dom
| (a,(test,_),el) :: r ->
let qtree = compile_step_list_rev r in
let res = Binop (Inter , qtree, Tag(test)) in