safe-infer ( quot -- effect )

Vocabulary

compiler.tree.propagation.call-effect

Inputs

quot	a quotation

Outputs

effect

an effect

Word description

Save and restore error variables here, so that we don't pollute words such as :error and :c for the user.

Definition

USING: continuations kernel namespaces stack-checker
stack-checker.dependencies ;

IN: compiler.tree.propagation.call-effect

: safe-infer ( quot -- effect )
    error get-global error-continuation get-global [
        [ [ infer ] [ 2drop +unknown+ ] recover ]
        without-dependencies
    ] 2dip
    [ error set-global ] [ error-continuation set-global ] bi* ;