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

type.constraint_base

Constraint does not fit the type's base.

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

example
type Nickname = Text {    min: 1}
jadpo checkcheck failed: 1 error, 1 file

error min doesn't apply to a Text type

--> main.jadpo:2:5

  |2 |     min: 1  |     ^^^ doesn't fit the base
reason
min constrains Int, Decimal, Duration, Money, Percentage and quantity types.
next
Remove min, or use a constraint that fits (agent)
rule
type.constraint_base
help
https://jadpo.dev/docs/errors/type.constraint_base

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