projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add a first runtime function. Positive fragment seems to work.
[tatoo.git]
/
src
/
xpath
/
compile.ml
diff --git
a/src/xpath/compile.ml
b/src/xpath/compile.ml
index
b22a74b
..
f1212f2
100644
(file)
--- a/
src/xpath/compile.ml
+++ b/
src/xpath/compile.ml
@@
-14,7
+14,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-0
4 17:55:28
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-0
5 15:24:20
CET by Kim Nguyen>
*)
open Ast
*)
open Ast
@@
-56,7
+56,7
@@
let compile_axis_test axis test phi trans states =
| Descendant self ->
(if self then (`Epsilon ** q) else (`Left ** q)),
(q, [ test => phi;
| Descendant self ->
(if self then (`Epsilon ** q) else (`Left ** q)),
(q, [ test => phi;
- QNameSet.any => (`Left ** q)
%%
(`Right ** q) ]) :: trans,
+ QNameSet.any => (`Left ** q)
++
(`Right ** q) ]) :: trans,
states
| Parent ->
states
| Parent ->