def AaVars.apply.go

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

import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
import bend-osdev-apparmor@0.1.0.0/options.bend as O

600# the environment after an assignment
601def AaVars.apply.go(ap: Bool, known: Bool, env: List<&2, O.AaVar>, name: List<&2, U32>, vs: List<&2, List<&2, U32>>, src: E.AaSrc) -> Result<&2, &2, E.AaError, List<&2, O.AaVar>>:
602  match ap:
603    case True{}:
604      match known:
605        case True{}:
606          Done{AaVars.extend(env, name, vs)}
607        case False{}:
608          Fail{E.AaSrc.var_redefined(src)}
609    case False{}:
610      match known:
611        case True{}:
612          Fail{E.AaSrc.var_redefined(src)}
613        case False{}:
614          Done{Con{O.AaVar{name, vs}, env}}