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

ErrorsProject layout and modules · rule

semantic.wrong_name_kind

Name is the wrong kind of declaration here.

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

example
type Count = Int {    min: 0}function g(x: Count) -> Count {    return x}type Pair = Object {    first: g}
jadpo checkcheck failed: 1 error, 1 file

error g is a function, not a type

--> main.jadpo:10:12

   |10 |     first: g   |            ^ expected a type
reason
Here Jadpo expects a type, such as Count or List<Count>.
next
Name a type here (agent)
rule
semantic.wrong_name_kind
help
https://jadpo.dev/docs/errors/semantic.wrong_name_kind

Markdown for agents: /docs/errors/semantic.wrong_name_kind.md.Built from Jadpo main at aee2e8f.