just formatting, and removing part of the todo list

This commit is contained in:
2024-09-04 16:39:13 +01:00
parent 20de15b349
commit b2b0837524

View File

@@ -506,19 +506,6 @@ struct
(*
* todo:
* - Fix exists function
* - Test prefix searching, which turns found strings to list.
*
* Problem with exists function:
* exists ("hello", trie) returns true as expected
* but exists ("hellop", trie) also returns true
* even though "hellop" was never added.
*
* "helloz" also returns true, although "hellopo" returns false.
* Problem occurs when trieKey length > searchKey length + 1 apparently.
*)
val trie = fromList ["hello", "hit", "hi"]
val lst = getPrefixList ("hi", trie)
val helloExists = exists ("hello", trie)
end