Profswitch.unknown_name: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profswitch.bend as Profswitch
Lines 134-141 of cswap-bend-cli@0.1.0.0/profswitch.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&start_line=134&end_line=141

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

# A name from `--profile` that matches nothing is an error; a stale
# `active_profile` falls back to the legacy rotation.
def 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):
  match explicit:
    case True{}:
      IO.pure(Cmd.Out, Cmd.failed(json, "ConfigError", "unknown profile '" ++ name ++ "'; `cswap profile list` shows the profiles"))
    case False{}:
      legacy(ctx, ident, force, strategy, model, json)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=failed
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&name=legacy
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=Ctx