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

ErrorsLogic · rule

type.unknown_value

Name is not defined in this scope.

Area 3, Logic; not declinable; the next step is usually the agent's.

example
type Name = Text {}function echo(name: Name) -> Name {    return nmae}
jadpo checkcheck failed: 1 error, 1 file

error nmae isn't defined in this scope

--> main.jadpo:4:12

  |4 |     return nmae  |            ^^^^ not defined
reason
Jadpo could not find this name. Did you mean name?
next
Use name instead of nmae (agent)
rule
type.unknown_value
help
https://jadpo.dev/docs/errors/type.unknown_value

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