def AaBuild.finish.sub

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

import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR

1666# a finished profile: checked, and added to its parent or to the top level
1667def AaBuild.finish.sub(m: Maybe<&2, List<&2, AaFrame>>, top: List<&2, PR.AaProfile>, err: Maybe<&2, E.AaError>, src: E.AaSrc) -> AaBuild:
1668  match m:
1669    case None{}:
1670      AaBuild.fail(AaBuild{Nil{}, top, err}, E.AaSrc.duplicate(src))
1671    case Some{fs}:
1672      AaBuild{fs, top, err}