Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 30 Oct 2026. What's built · Install 0.1.0
jadpo
Reference: Logic

Logic · rule

syntax.named_argument_duplicate

Named argument is given twice.

Area 3, Logic; not declinable; the next step is usually the agent's.

example
type Day = CalendarDate {}function london_morning(date: Day) -> Instant {    return temporal.resolve(        date: date,        at: "09:00",        zone: Zone.europe_london,        zone: Zone.europe_london,        dst: Dst.earlier    )}
text
error: `zone:` is given twice --> main.jadpo:8:9  |7 |         zone: Zone.europe_london,  |         ---- first given here8 |         zone: Zone.europe_london,  |         ^^^^ given again here  reason: Each named argument is given once.  next: Remove one of the `zone:` arguments (agent)  rule: syntax.named_argument_duplicate  help: https://jadpo.dev/docs/errors/syntax.named_argument_duplicatecheck failed: 1 error, 1 file

Markdown for agents: /docs/errors/syntax.named_argument_duplicate.md.Built from Jadpo main at a707efb.