X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.ml;h=59ff1fb92c4e56faafeb76aad9f78bbcf87340f6;hb=895a134ffb8274e9abba18fec9780142fcb5a937;hp=d65df68d1a2682092c9df13ec0a227f58439a3e8;hpb=cb90d64919eb8ebe56aecfec3a1a8af86642df04;p=SXSI%2Fxpathcomp.git diff --git a/src/cache.ml b/src/cache.ml index d65df68..59ff1fb 100644 --- a/src/cache.ml +++ b/src/cache.ml @@ -56,6 +56,15 @@ struct 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