From dddb459d9388879ffd3aba4cdf2c4c112079287a Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Wed, 1 Oct 2025 13:49:02 +0100 Subject: [PATCH] remove todo note which has become outdates as of the previous commit --- fcore/search-list/nfa.sml | 3 --- 1 file changed, 3 deletions(-) diff --git a/fcore/search-list/nfa.sml b/fcore/search-list/nfa.sml index 10332f6..d8f3b57 100644 --- a/fcore/search-list/nfa.sml +++ b/fcore/search-list/nfa.sml @@ -131,9 +131,6 @@ struct and parse (str, stateNum) = if String.size str > 0 then - (* todo: we currently assume that the first char is always a CHAR_LITERAL - * but we should actually check what character the chr is - * before deciding it represents one variant or another *) case computeAtom (0, str, stateNum) of SOME (nextPos, lhs, stateNum) => loop (nextPos, str, lhs, stateNum) | NONE => NONE