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
jadpo
ReferenceErrors

ErrorsLogic · rule

syntax.async_await

Code marked async or await.

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

A call gives its result when it returns, so nothing is marked async or await.

example
type Count = Int {    min: 0}function same(count: Count) -> Count {    return count}function same_twice(count: Count) -> Count {    return await same(count)}
jadpo checkcheck failed: 1 error, 1 file

error Jadpo has no await

--> main.jadpo:10:12

   |10 |     return await same(count)   |            ^^^^^ remove `await`
reason
async and await mark code that waits for a result in JavaScript, TypeScript, Python, Rust, C# and Swift; a Jadpo call always gives its result when it returns, so there is nothing to mark.
next
Remove await (agent)
rule
syntax.async_await
help
https://jadpo.dev/docs/errors/syntax.async_await

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