Project 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.
type Count = Int { min: 0}function g(x: Count) -> Count { return x}type Pair = Object { first: g}
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_kindcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/semantic.wrong_name_kind.md.Built from Jadpo main at a707efb.