def AaBuild.push

bend-osdev-apparmor@0.1.0.0 · parse.bend:1720

import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X
import bend-osdev-apparmor@0.1.0.0/error.bend as E

1720# a block opens
1721def AaBuild.push(r: Result<&2, &2, E.AaError, AaHead>, b: AaBuild, +src: E.AaSrc) -> AaBuild:
1722  match r:
1723    case Fail{e}:
1724      AaBuild.fail(b, e)
1725    case Done{hd}:
1726      match hd:
1727        case AaHead{kind, +name, attach, flags, q}:
1728          match b:
1729            case AaBuild{+fs, top, err}:
1730              +outer = AaFrames.full(fs)
1731              +full = Bool.pick(List<&2, U32>, X.AaText.is_nil(outer), name, X.AaText.append(outer, X.AaText.append(X.AaText.of_string("//"), name)))
1732              AaBuild.push.kind(kind, fs, top, err, name, attach, flags, q, full, src)