ErrorsProject layout and modules · rule
layout.file_name_mismatch
File name does not match its declaration.
Area 1, Project layout and modules; not declinable; the next step is usually the agent's.
type DueDate = CalendarDate {} error DueDate is in due.jadpo
--> domains/planning/types/due.jadpo:1:6
|1 | type DueDate = CalendarDate {} | ^^^^^^^ file name should be `due_date.jadpo`
- reason
- A file is named after the declaration it holds, so a search for a name finds its file.
- next
- Rename
due.jadpotodue_date.jadpo(agent) - rule
- layout.
file_ name_ mismatch - help
- https://jadpo.
dev/docs/errors/layout. file_ name_ mismatch
Markdown for agents: /docs/errors/layout.file_name_mismatch.md.Built from Jadpo main at aee2e8f.