Vocabulary
combinators

Inputs
quota quotation
effectan effect


Outputs
None

Word description
Given a quotation and a stack effect, calls the quotation, asserting at runtime that it has the given stack effect. This is a macro which expands given a literal effect parameter, and an arbitrary quotation which is not required at compile time.

Examples
The following two lines are equivalent:
call( a b -- c ) ( a b -- c ) call-effect


See also
call-effect-unsafe, execute-effect, execute-effect-unsafe

Definition