Levenshtein.Index.remove changed signature (useless param removed)

This commit is contained in:
Simon Cruanes 2014-11-08 01:24:39 +01:00
parent 7197313d91
commit af58399ca7
2 changed files with 4 additions and 4 deletions

View file

@ -98,7 +98,7 @@ module type S = sig
(** Add a pair string/value to the index. If a value was already present (** Add a pair string/value to the index. If a value was already present
for this string it is replaced. *) for this string it is replaced. *)
val remove : 'b t -> string_ -> 'b -> 'b t val remove : 'b t -> string_ -> 'b t
(** Remove a string (and its associated value, if any) from the index. *) (** Remove a string (and its associated value, if any) from the index. *)
val retrieve : limit:int -> 'b t -> string_ -> 'b klist val retrieve : limit:int -> 'b t -> string_ -> 'b klist
@ -338,7 +338,7 @@ module Make(Str : STRING) = struct
let rec get_transitions_for_any nda acc transitions = let rec get_transitions_for_any nda acc transitions =
match transitions with match transitions with
| NDA.Upon (NDA.Char _, i, j) :: transitions' -> | NDA.Upon (NDA.Char _, _, _) :: transitions' ->
get_transitions_for_any nda acc transitions' get_transitions_for_any nda acc transitions'
| NDA.Upon (NDA.Any, i, j) :: transitions' -> | NDA.Upon (NDA.Any, i, j) :: transitions' ->
let acc = NDAStateSet.add (i,j) acc in let acc = NDAStateSet.add (i,j) acc in
@ -558,7 +558,7 @@ module Make(Str : STRING) = struct
(function (function
| Node (_, m) -> Node (Some value, m)) | Node (_, m) -> Node (Some value, m))
let remove trie s value = let remove trie s =
goto_leaf s trie goto_leaf s trie
(function (function
| Node (_, m) -> Node (None, m)) | Node (_, m) -> Node (None, m))

View file

@ -142,7 +142,7 @@ module type S = sig
(** Add a pair string/value to the index. If a value was already present (** Add a pair string/value to the index. If a value was already present
for this string it is replaced. *) for this string it is replaced. *)
val remove : 'b t -> string_ -> 'b -> 'b t val remove : 'b t -> string_ -> 'b t
(** Remove a string (and its associated value, if any) from the index. *) (** Remove a string (and its associated value, if any) from the index. *)
val retrieve : limit:int -> 'b t -> string_ -> 'b klist val retrieve : limit:int -> 'b t -> string_ -> 'b klist