Logic · rule
failure.outcome_wildcard
Outcome match uses a wildcard.
Area 3, Logic; not declinable; the next step is usually the agent's.
function wildcard_failure(key: LookupKey) -> LookupResult { return match lookup(key) { success(value) -> value _ -> "fallback" }}
error: `_` can't stand for a call's failures --> main.jadpo:4:9 |4 | _ -> "fallback" | ^ wildcard reason: Every failure a call can give has an arm of its own, so a failure added to the call later is caught at every `match` that has to consider it. next: Replace `_` with arms for `LookupMissing` and `LookupRefused` (agent) rule: failure.outcome_wildcard help: https://jadpo.dev/docs/errors/failure.outcome_wildcardcheck failed: 1 error, 2 files
Markdown for agents: /docs/errors/failure.outcome_wildcard.md.Built from Jadpo main at a707efb.