From b2b0837524ab839f55a82f9307d6df2f6c01a674 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Wed, 4 Sep 2024 16:39:13 +0100 Subject: [PATCH] just formatting, and removing part of the todo list --- src/string-set.sml | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/src/string-set.sml b/src/string-set.sml index f11b867..e63fcbf 100644 --- a/src/string-set.sml +++ b/src/string-set.sml @@ -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