infer-literal-quot ( literal -- )

Vocabulary

stack-checker.backend

Inputs

literal

a literal-tuple

Outputs

None

Word description

Performs inferencing for a literal quotation.

Examples

[ 3 + * ] <literal> infer-literal-quot

Definition

USING: accessors kernel quotations stack-checker.errors
stack-checker.recursive-state ;

IN: stack-checker.backend

: infer-literal-quot ( literal -- )
    dup recursive-quotation?
    [ value>> recursive-quotation-error ] [
        dup value>> callable? [
            [ value>> ]
            [ [ recursion>> ] keep add-local-quotation ] bi
            infer-quot
        ] [ value>> \ call time-bomb ] if
    ] if ;