projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Various cleanups
[SXSI/xpathcomp.git]
/
tree.ml
diff --git
a/tree.ml
b/tree.ml
index
86f7e5b
..
b1b1d15
100644
(file)
--- a/
tree.ml
+++ b/
tree.ml
@@
-507,13
+507,16
@@
let id t n = tree_node_xml_id t.doc n
let tag t n = if n == nil then Tag.nullt else tree_tag t.doc n
let tag t n = if n == nil then Tag.nullt else tree_tag t.doc n
-let tagged_descendant t tag = (); fun n -> tree_tagged_descendant t.doc n tag
+let tagged_descendant t tag =
+ let doc = t.doc in (); fun n -> tree_tagged_descendant doc n tag
let select_descendant t = fun ts ->
let v = (ptset_to_vector ts) in ();
fun n -> tree_select_descendant t.doc n v
let select_descendant t = fun ts ->
let v = (ptset_to_vector ts) in ();
fun n -> tree_select_descendant t.doc n v
-let tagged_following_below t tag = (); fun n ctx -> tree_tagged_following_below t.doc n tag ctx
+let tagged_following_below t tag =
+ let doc = t.doc in
+ (); fun n ctx -> tree_tagged_following_below doc n tag ctx
let select_following_below t = fun ts ->
let v = (ptset_to_vector ts) in ();
let select_following_below t = fun ts ->
let v = (ptset_to_vector ts) in ();