HTTP · rule
route.placeholder_duplicate
Placeholder name is used twice in a route's path.
Area 7, HTTP; not declinable; the next step is usually the agent's.
Each placeholder is named once in a path, its group's prefix included:
type Memo = Text { max_length: 200}type MemoId = Uuid {}type AddMemo = Input { text: Memo}type MemoView = Output { text: Memo}action add_memo(input: AddMemo) -> MemoView { return MemoView { text: input.text }}action tag_memo(memo_id: MemoId, input: AddMemo) -> MemoView { return MemoView { text: input.text }}routes Memos { prefix: /memos/{memo_id: MemoId} POST /{memo_id: MemoId} { input: AddMemo output: MemoView run: tag_memo(memo_id, input) }}
error: Placeholder `memo_id` appears twice --> main.jadpo:30:12 |28 | prefix: /memos/{memo_id: MemoId} | ------- first named here30 | POST /{memo_id: MemoId} { | ^^^^^^^ named again reason: Each placeholder reaches what the route runs by its name, so a path names each once, its group's prefix included. next: Rename one `memo_id` (agent) rule: route.placeholder_duplicate help: https://jadpo.dev/docs/errors/route.placeholder_duplicatecheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/route.placeholder_duplicate.md.Built from Jadpo main at a707efb.