ErrorsValues and types · rule
syntax.type_block_required
Type has no block.
Area 2, Values and types; not declinable; the next step is usually the agent's.
A type always has a block, even an empty one, so it never reads like an alias:
type OrderId = Uuid error OrderId needs a block
--> main.jadpo:1:16
|1 | type OrderId = Uuid | ^^^^ expected `{}` after the base
- reason
- Every type is written
type Name = Base { ... }. Without a block it reads like an alias, and Jadpo has no aliases: every type is a new type. - next
- Add
{}afterUuid(agent) - rule
- syntax.
type_ block_ required - help
- https://jadpo.
dev/docs/errors/syntax. type_ block_ required
Markdown for agents: /docs/errors/syntax.type_block_required.md.Built from Jadpo main at aee2e8f.