def unknown_name

cswap-bend-cli@0.1.0.0 · profswitch.bend:134

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase

134# A name from `--profile` that matches nothing is an error; a stale
135# `active_profile` falls back to the legacy rotation.
136def unknown_name(+explicit: Bool, +name: String, +ctx: SBase.Ctx, +ident: Maybe<&2, String>, +force: Bool, +strategy: Maybe<&2, String>, +model: Maybe<&2, String>, +json: Bool) -> IO(Cmd.Out):
137  match explicit:
138    case True{}:
139      IO.pure(Cmd.Out, Cmd.failed(json, "ConfigError", "unknown profile '" ++ name ++ "'; `cswap profile list` shows the profiles"))
140    case False{}:
141      legacy(ctx, ident, force, strategy, model, json)