X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.ml;h=59ff1fb92c4e56faafeb76aad9f78bbcf87340f6;hb=8a31bd5c0847ca9c45627cb808a57d9c07c7b0dc;hp=d65df68d1a2682092c9df13ec0a227f58439a3e8;hpb=d7c0e0d3ae22f01c69f0352a25db3eaaab02406f;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