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
matchthat has to consider it. - next
- Replace
_with arms forLookupMissingandLookupRefused(agent) - rule
- failure.
outcome_ wildcard - help
- https://jadpo.
dev/docs/errors/failure. outcome_ wildcard
Markdown for agents: /docs/errors/failure.outcome_wildcard.md.Built from Jadpo main at aee2e8f.