remove todo note which has become outdates as of the previous commit

This commit is contained in:
2025-10-01 13:49:02 +01:00
parent 169dcb5bf2
commit dddb459d93

View File

@@ -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