projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update caching infrastructure to automatically resize when needed.
[SXSI/xpathcomp.git]
/
src
/
cache.ml
diff --git
a/src/cache.ml
b/src/cache.ml
index
d65df68
..
59ff1fb
100644
(file)
--- a/
src/cache.ml
+++ b/
src/cache.ml
@@
-56,6
+56,15
@@
struct
else a.dummy
let dummy a = a.dummy
else a.dummy
let dummy a = a.dummy
+(*
+ let iteri f a =
+ let line = a.line in
+ if a.offset == ~-1 then () else
+ for i = 0 to Array.length line - 1 do
+ let v = a.(i)
+ f (i+a.offset) v (v==a.dummy)
+ done
+*)
end
end