def walked.go

bolt@1.27.0.0 · src/rules/calls.bend:239

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

239def walked.go(ps: List<&2, Tree.Node>, found: Maybe<&2, String>) -> String:
240  match ps found:
241    case Con{+p, rest} None{}:
242      walked.go(rest, Lazy.stop(Maybe<&2, String>, Bool.not(is_live(p)), None{},
243        _u => Some{type_head(p, False{})}))
244    case Con{p, rest} Some{t}:
245      t
246    case Nil{} Some{t}:
247      t
248    case Nil{} None{}:
249      ""