def value_issue

cli@0.2.0.0 · cli.bend:2100

import Base

2100# A value from env or a default converts each element on its own (§8.2).
2101def value_issue(kind: UsageKind, attrs: List<&2, Item>,
2102    +value: String) -> Maybe<&2, Bad>:
2103  match kind:
2104    case FlagKind{}: bad_value(type_reason(TBool{}, value), value)
2105    case NegatableKind{}: bad_value(type_reason(TBool{}, value), value)
2106    case CountKind{}: bad_value(type_reason(TNat{}, value), value)
2107    case _: value_bad(attrs, value)