type.not_a_value
Declaration named where a value is read.
Area 3, Logic; not declinable; the next step is usually the agent's.
type Count = Int { min: 0}type Placed = Object { count: Count}function first_placed() -> Placed { var placed: Placed = Placed return placed}
error Placed is a type, not a value
--> main.jadpo:10:26
|10 | var placed: Placed = Placed | ^^^^^^ a type
- reason
- A type says what a value looks like and holds none itself; a value is built with the type's name and every field in a block.
- next
- Build a value with
Placed { ... }, giving each field (agent) - rule
- type.
not_ a_ value - help
- https://jadpo.
dev/docs/errors/type. not_ a_ value
Markdown for agents: /docs/errors/type.not_a_value.md.Built from Jadpo main at aee2e8f.