projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Removed testing cruft
[SXSI/xpathcomp.git]
/
xPath.ml
diff --git
a/xPath.ml
b/xPath.ml
index
2c520a1
..
23c5fc6
100644
(file)
--- a/
xPath.ml
+++ b/
xPath.ml
@@
-350,7
+350,9
@@
let rec compile_step ?(existential=false) conf q_src dir ctx_path step num =
then `True (*`Right(fun t ->
TagSet.exists (fun tag -> Tree.Binary.has_tagged_foll t tag)
test) *)
then `True (*`Right(fun t ->
TagSet.exists (fun tag -> Tree.Binary.has_tagged_foll t tag)
test) *)
- else `True )>=> `Right ** q_src
+ else `True )>=>
+ if ex then ( Ata.atom_ `Left false q_src) *& `Right ** q_src
+ else `Right ** q_src
in
let _ = add_trans num conf.tr_aux t3
in
in
let _ = add_trans num conf.tr_aux t3
in
@@
-544,7
+546,7
@@
let compile path =
Ata.phi = phi;
Ata.delta = Hashtbl.create 17;
Ata.sigma = Ata.HTagSet.create 17;
Ata.phi = phi;
Ata.delta = Hashtbl.create 17;
Ata.sigma = Ata.HTagSet.create 17;
- }
+ }
,[]
end
end