infer-known-call ( known -- effect/f )

Vocabulary

combinators.smart.private

Inputs

known

an object

Outputs

effect/f

an object

Definition

USING: assocs continuations kernel namespaces
stack-checker.backend stack-checker.errors
stack-checker.inlining stack-checker.known-words
stack-checker.state stack-checker.values ;

IN: combinators.smart.private

: infer-known-call ( known -- effect/f )
    known-values get [ (undeclared-known) ] map-values [
        [
            known-values set V{ } clone (meta-r) set
            make-known dup known infer-call*
        ] with-infer drop
    ] [
        dup [ unknown-macro-input? ] [ bad-macro-input? ] bi or
        [ 3drop f ] [ rethrow ] if
    ] recover ;