simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-09 20:55:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix CCTrie.Make: Remove polymorphic comparison

Browse source
This commit is contained in:
Jacques-Pascal Deplaix 2017-11-07 12:11:41 +01:00
parent f28b75792b
commit 0ed3c70669
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/data/CCTrie.ml
View file

@ -593,6 +593,13 @@ module Make(W : WORD)
in
List.iter (explore ~dir k) l'
let _list_eq l1 l2 =
try List.for_all2 (fun x y -> W.compare x y = 0) l1 l2
with Invalid_argument _ -> false
let _key_to_list key =
List.rev (_seq_append_list_rev [] (W.to_seq key))
(* range above (if [above = true]) or below a threshold .
[p c c'] must return [true] if [c'], in the tree, meets some criterion
w.r.t [c] which is a part of the key. *)
@ -646,7 +653,7 @@ module Make(W : WORD)
_iter_prefix ~prefix (fun key' v -> k (key', v)) t
| Some (Node (Some v, _), prefix), Below ->
(* yield the value for key *)
assert (W.of_list (prefix []) = key);
assert (_list_eq (prefix []) (_key_to_list key));
k (key, v)
| Some _, _
| None, _ -> ()