patch_seq_times

seq_runtime::quotations

Function patch_seq_times 

Source 
#[unsafe(no_mangle)]
pub unsafe extern "C" fn patch_seq_times(stack: Stack) -> Stack
Expand description

Execute a quotation n times

Pops a count (Int) and a quotation from the stack, then executes the quotation that many times.

Stack effect: ( ..a quot n – ..a ) where the quotation has effect ( ..a – ..a )

§Safety

  • Stack must have at least 2 values
  • Top must be Int (the count)
  • Second must be Quotation
  • Quotation’s effect must preserve stack shape