Skip to main content

plg_rt_cut

Function plg_rt_cut 

Source
#[unsafe(no_mangle)]
pub extern "C" fn plg_rt_cut(m: *mut Machine, height: u64)
Expand description

Cut: truncate the choice-point stack to height.

M4 will make this catch-frame aware (a cut must not discard a CATCH barrier installed by catch/3); for M3 it is a plain truncate, matching the absence of exception frames in the current runtime.