ErrorsProject layout and modules · rule
naming.folded_collision
Two names fold to the same file name.
Area 1, Project layout and modules; not declinable; the next step is usually the agent's.
Two names that become the same file name are an error, except a type beside
the action, query or function in its own file (CreateTodo in
create_todo.jadpo):
type DueDate = CalendarDate {}function due_date(due: DueDate) -> DueDate { return due}
error due_date and DueDate share a file name
--> main.jadpo:1:10
|1 | function due_date(due: DueDate) -> DueDate { | ^^^^^^^^ also `due_date.jadpo`
- reason
- Both names become
due_date.jadpo, so a search for one finds the other;DueDateis a type indue.jadpo. - next
- Rename one of them so their file names differ (agent)
- rule
- naming.
folded_ collision - help
- https://jadpo.
dev/docs/errors/naming. folded_ collision
Markdown for agents: /docs/errors/naming.folded_collision.md.Built from Jadpo main at aee2e8f.