projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Allow to pass an explicit destructor when registering a custom tag
[SXSI/xpathcomp.git]
/
src
/
cache.ml
diff --git
a/src/cache.ml
b/src/cache.ml
index
ed8af8c
..
71eb4fb
100644
(file)
--- a/
src/cache.ml
+++ b/
src/cache.ml
@@
-1,3
+1,5
@@
+INCLUDE "trace.ml"
+
let realloc l old_size new_size dummy =
let l' = Array.create new_size dummy in
Array.blit l 0 l' 0 (min old_size new_size);
let realloc l old_size new_size dummy =
let l' = Array.create new_size dummy in
Array.blit l 0 l' 0 (min old_size new_size);
@@
-93,9
+95,10
@@
struct
dummy_line1 = dummy_line1;
dummy_line2 = dummy_line2
}
dummy_line1 = dummy_line1;
dummy_line2 = dummy_line2
}
- let find t i j k = t.line.(i).(j).(k)
+ let find t k j i = t.line.(i).(j).(k)
+
- let add t
i j k
v =
+ let add t
k j i
v =
let line = t.line in
let line1 =
let l1 = line.(i) in
let line = t.line in
let line1 =
let l1 = line.(i) in