def hdr.bad

bend-toon-codec@0.1.0.0 · src/entry.bend:79

import Base

79# A header that did not parse: with no colon at all the line is no entry; with
80# one, strict mode reports the header and lenient mode reads a literal key.
81def hdr.bad(+nocolon: Bool, +strict: Bool, +e: String, +text: String, +ci: U32) -> Result<&2, &2, String, Ent>:
82  match nocolon strict:
83    case True{} _:
84      Done{ENot{}}
85    case False{} True{}:
86      Fail{e}
87    case False{} False{}:
88      kv(text, ci)