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

ErrorsValues and types · rule

syntax.variable_type_required

Variable has no type.

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

Every variable states its type, and a literal takes it:

example
type ItemPrice = Decimal {    scale: 2    min: 0.00}function free() -> ItemPrice {    var price = ItemPrice(0.00)    return price}
jadpo checkcheck failed: 1 error, 1 file

error price needs a type

--> main.jadpo:7:9

  |7 |     var price = ItemPrice(0.00)  |         ^^^^^ expected `: Type` after the name
reason
Every variable states its type, so a reader sees it where the value is introduced.
next
Write var price: ItemPrice = 0.00 (agent)
rule
syntax.variable_type_required
help
https://jadpo.dev/docs/errors/syntax.variable_type_required

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