let option_default = [] in
let mcode r (x,_,mcodekind,_) =
match mcodekind with
- Ast.MINUS(_,_) -> [x]
+ Ast.MINUS(_,_,_,_) -> [x]
| _ when minus_only -> []
| _ -> [x] in
let other r _ = [] in
bind ((get_all_constants false).V.combiner_anything cur) prev))
[] l in
match mcodekind with
- Ast.MINUS(_,anythings) -> recurse anythings
+ Ast.MINUS(_,_,_,anythings) -> recurse anythings
| Ast.CONTEXT(_,Ast.BEFORE(a)) -> recurse a
| Ast.CONTEXT(_,Ast.AFTER(a)) -> recurse a
| Ast.CONTEXT(_,Ast.BEFOREAFTER(a1,a2)) ->