runtime-effect

Vocabulary

stack-checker.values

Class description

A monomorphic quotation parameter of a non-inline word. Calls use its declared effect with a runtime stack check. The parameter is not treated as a literal or as an inferred quotation.

Definition

IN: stack-checker.values

TUPLE: runtime-effect effect ;

Methods

USING: kernel stack-checker.values ;

M: runtime-effect (input-value?) drop t ;


USING: namespaces stack-checker.errors stack-checker.values ;

M: runtime-effect (literal)
    current-word get unknown-macro-input ;


USING: kernel stack-checker.values ;

M: runtime-effect (literal-value?) drop f ;


USING: kernel stack-checker.branches stack-checker.values ;

M: runtime-effect indirect-branch? drop t ;


USING: accessors combinators kernel stack-checker.backend
stack-checker.known-words stack-checker.values ;

M: runtime-effect infer-call*
    [ push-d ] [ effect>> push-literal ] bi*
    \ call-effect infer-call-effect ;