Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0
jadpo
ReferenceErrors

ErrorsLogic · rule

effect.function_calls_action

Function calls an action or query.

Area 3, Logic; not declinable; the next step is usually the agent's.

example
type Note = Text {}action save(note: Note) -> Note {    return note}function pretend_pure(note: Note) -> Note {    return save(note)}
jadpo checkcheck failed: 1 error, 1 file

error A function can't call action save

--> main.jadpo:8:12

  |8 |     return save(note)  |            ^^^^ an action
reason
A function is pure: it computes its result from its arguments alone, so it calls only functions, library functions and the standard library; an action may read and write data.
next
Make the caller an action, or call save from the action that uses this function (agent)
rule
effect.function_calls_action
help
https://jadpo.dev/docs/errors/effect.function_calls_action

Markdown for agents: /docs/errors/effect.function_calls_action.md.Built from Jadpo main at aee2e8f.