This function has a native implementation that shows the VM call stack.
Equations
- trace_call_stack f = f ()
This function has a native implementation that displays in the given position all trace messages used in f. The arguments line and col are filled by the elaborator.
Equations
- scope_trace f = f ()
This function has a native implementation where the thunk is interrupted if it takes more than 'max' "heartbeats" to compute it. The heartbeat is approx. the maximum number of memory allocations (in thousands) performed by 'f ()'. This is a deterministic way of interrupting long running tasks.