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
failslists each failure that can leave once.- next
- Remove the second
Refused(agent) - rule
- failure.
duplicate_ declaration - help
- https://jadpo.
dev/docs/errors/failure. duplicate_ declaration
Markdown for agents: /docs/errors/failure.duplicate_declaration.md.Built from Jadpo main at aee2e8f.