Failures · rule
failure.duplicate_declaration
Failure is listed twice after fails.
Area 4, Failures; not declinable; the next step is usually the agent's.
type Note = Text {}type Refused = Failure { kind: FailureKind.rejected}action execute(note: Note) fails Refused, Refused -> Note { reject Refused}
error: `Refused` is listed twice after `fails` --> main.jadpo:7:43 |7 | action execute(note: Note) fails Refused, Refused -> Note { | ^^^^^^^ listed again | ------- first listed here reason: `fails` lists each failure that can leave once. next: Remove the second `Refused` (agent) rule: failure.duplicate_declaration help: https://jadpo.dev/docs/errors/failure.duplicate_declarationcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/failure.duplicate_declaration.md.Built from Jadpo main at a707efb.