Logic · rule
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_valuecheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.not_a_value.md.Built from Jadpo main at a707efb.