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

ErrorsStandard library · rule

type.standard_clash

Declaration has a standard type's name.

Area 19, Standard library; not declinable; the next step is usually the agent's.

A declaration named like a standard type: a Jadpo release added the standard type after the application named its own. Its fixes are the swap and the rename, each made by jadpo fix.

example
/// A room booking's reference, from before Jadpo had a `Uuid` of its own.type Uuid = Text {    max_length: 36}
jadpo checkcheck failed: 1 error, 1 file

error Uuid is the name of a standard type

--> main.jadpo:2:6

  |2 | type Uuid = Text {  |      ^^^^ standard since Jadpo 0.1.0
reason
Jadpo 0.1.0 added the standard type Uuid, and the application's own type can't share its name, or Uuid would mean two things. An upgrade never changes what code means silently, so check stops here until this type is swapped for the standard type or renamed.
next
Run jadpo fix Uuid swap to use the standard Uuid in its place, or jadpo fix Uuid rename <NewName> to keep this one under a name of its own (agent)
rule
type.standard_clash
help
https://jadpo.dev/docs/errors/type.standard_clash

Markdown for agents: /docs/errors/type.standard_clash.md.Built from Jadpo main at aee2e8f.