Reads and writes · rule
data.patch_not_input
Patch given something other than an Input.
Area 6, Reads and writes; not declinable; the next step is usually the agent's.
type ItemName = Text { max_length: 80}entity Item { id: Uuid name: ItemName}action copy_name(item: Item, from: Item) -> Item { return Item.update(item) { patch: from }}
error: `patch:` takes an `Input`, and this is `Item` --> main.jadpo:12:16 |12 | patch: from | ^^^^ this is `Item` reason: A patch changes only the fields a request supplied, so it takes an `Input` whose fields are optional and named after `Item`'s: one left out keeps its value, and one sent as `none` is cleared. next: Pass an `Input` such as `type PatchItem = Input { pick: [...] optional: all }` (agent) rule: data.patch_not_input help: https://jadpo.dev/docs/errors/data.patch_not_inputcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/data.patch_not_input.md.Built from Jadpo main at a707efb.