def said.no.main

ezx@1.11.0.0 · src/ez/ends.bend:47

import Base

47# whether any line of the output is that one. The rest of the walk is bound
48# before the `Bool.or` rather than written under it: `Bool.or` is an ordinary
49# function and reduces both sides, so a recursive call sitting inside one is
50# not a branch the condition can decline. Bound first it is a plain fold over
51# a handful of lines, which is what the rest of this tree does too.
52def said.no.main(ls: List<&2, String>) -> Bool:
53  match ls:
54    case Nil{}:
55      False{}
56    case Con{+h, t}:
57      +rest = said.no.main(t)
58      Bool.or(no.main(h), rest)