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

`syntax.export_keyword`

Declaration marked export or pub.

Area 1, Project layout and modules; not declinable; the next step is usually the agent's.

Every declaration is visible across its domain without export or pub; public opens one to other domains.

example

type Count = Int {    min: 0}export function same(count: Count) -> Count {    return count}

jadpo checkcheck failed: 1 error, 1 file

error Jadpo has no export

--> main.jadpo:5:1

  |5 | export function same(count: Count) -> Count {  | ^^^^^^ remove `export`

reason: export makes a name visible to other files in JavaScript and TypeScript, and pub outside its module in Rust; every Jadpo declaration is visible across its domain, and public opens it to other domains.
next: Remove export (agent)
rule: syntax.export_keyword
help: https://jadpo.dev/docs/errors/syntax.export_keyword

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