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

`type.not_record`

Braces build a type that has no fields.

Area 2, Values and types; not declinable; the next step is usually the agent's.

example

type ProductName = Text {    max_length: 120}function blank() -> ProductName {    return ProductName {}}

jadpo checkcheck failed: 1 error, 1 file

error ProductName isn't built with { ... }

--> main.jadpo:6:12

  |6 |     return ProductName {}  |            ^^^^^^^^^^^^^^ has no fields

reason: Braces build objects and variants with fields; ProductName, built on Text, takes one value in brackets.
next: Write ProductName(...) with one value (agent)
rule: type.not_record
help: https://jadpo.dev/docs/errors/type.not_record

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