projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Avoid one string concatenation in debug printing function.
[tatoo.git]
/
src
/
xPath.ml
diff --git
a/src/xPath.ml
b/src/xPath.ml
index
0e71caf
..
a825d84
100644
(file)
--- a/
src/xPath.ml
+++ b/
src/xPath.ml
@@
-12,6
+12,11
@@
(* ../LICENSE. *)
(* *)
(***********************************************************************)
(* ../LICENSE. *)
(* *)
(***********************************************************************)
+
+(*
+ Time-stamp: <Last modified on 2013-01-30 19:05:13 CET by Kim Nguyen>
+*)
+
module Ast =
struct
module Ast =
struct
@@
-21,7
+26,7
@@
struct
and axis = Self | Attribute | Child | Descendant | DescendantOrSelf | FollowingSibling
| Parent | Ancestor | AncestorOrSelf | PrecedingSibling | Preceding | Following
and axis = Self | Attribute | Child | Descendant | DescendantOrSelf | FollowingSibling
| Parent | Ancestor | AncestorOrSelf | PrecedingSibling | Preceding | Following
- and test =
Simple of
QNameSet.t
+ and test = QNameSet.t
and binop = Eq | Neq | Lt | Gt | Lte | Gte | Or | And | Add | Sub | Mult | Div | Mod
and unop = Neg
and binop = Eq | Neq | Lt | Gt | Lte | Gte | Or | And | Add | Sub | Mult | Div | Mod
and unop = Neg
@@
-45,9
+50,6
@@
struct
QName.document;
QName.cdata_section;
QName.comment])
QName.document;
QName.cdata_section;
QName.comment])
- let t_text = Simple text
- let t_node = Simple node
- let t_star = Simple star
@@
-122,15
+124,14
@@
struct
and print_test fmt ts =
try
pp fmt "%s" (List.assoc ts
and print_test fmt ts =
try
pp fmt "%s" (List.assoc ts
- [ t
_t
ext,"text()";
-
t_
node,"node()";
-
t_
star, "*" ] )
+ [ text,"text()";
+ node,"node()";
+ star, "*" ] )
with
Not_found -> pp fmt "%s"
with
Not_found -> pp fmt "%s"
- (match ts with
- Simple t -> if QNameSet.is_finite t
- then QName.to_string (QNameSet.choose t)
- else "<INFINITE>"
+ (if QNameSet.is_finite ts
+ then QName.to_string (QNameSet.choose ts)
+ else "<INFINITE>"
)
and print_expr fmt = function
)
and print_expr fmt = function