def check.todo

bolt@1.27.0.0 · src/rules/correctness/hole.bend:18

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/rules/calls.bend as Calls

18# True when the first token past spaces, newlines and comments is `TODO`
19def check.todo(toks: List<&2, Lex.Tok>) -> Bool:
20  match toks:
21    case Con{Lex.Tok{+k, +t, l, c}, rest}:
22      Lazy.stop(Bool, Lex.significant(k), Bool.and(Calls.kind.upper(k), String.eq(t, "TODO")), _u => check.todo(rest))
23    case Nil{}:
24      False{}