Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0

ReferenceErrors

Errors Logic · rule

`syntax.unsupported_throw`

Failure raised with throw or raise.

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

example

type Note = Text {}type NoteRejected = Failure {    kind: FailureKind.rejected}function checked_note(note: Note) fails NoteRejected -> Note {    if (note == "") {        throw NoteRejected    }    return note}

jadpo checkcheck failed: 1 error, 1 file

error Jadpo writes reject, not throw

--> main.jadpo:9:9

  |9 |         throw NoteRejected  |         ^^^^^ write `reject`

reason: throw raises an error in JavaScript, Java, C#, Kotlin and Swift, and raise in Python and Ruby; a Jadpo callable raises one of its declared failures with reject, and lists it in fails.
next: Use reject instead of throw (agent)
rule: syntax.unsupported_throw
help: https://jadpo.dev/docs/errors/syntax.unsupported_throw

Markdown for agents: /docs/errors/syntax.unsupported_throw.md.Built from Jadpo main at aee2e8f.