projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
84751fe
)
Update comment describing data layout.
author
Kim Nguyễn
<kn@lri.fr>
Tue, 18 Apr 2017 08:36:01 +0000
(10:36 +0200)
committer
Kim Nguyễn
<kn@lri.fr>
Tue, 18 Apr 2017 08:36:01 +0000
(10:36 +0200)
src/compact_tree.ml
patch
|
blob
|
history
diff --git
a/src/compact_tree.ml
b/src/compact_tree.ml
index
8329499
..
485f5ff
100644
(file)
--- a/
src/compact_tree.ml
+++ b/
src/compact_tree.ml
@@
-31,10
+31,9
@@
type t = {
(* encoding :
- i -> kind | QNameId lsl 8
- i + 1 -> fc
- i + 2 -> ns
- i + 3 -> p
+ i + 0 -> fc
+ i + 1 -> ns
+ i + 2 -> p
*)
let next i = i + 3