infer-call* ( value known -- )

Vocabulary

stack-checker.known-words

Inputs

value	an object
known	an object

Outputs

None

Definition

IN: stack-checker.known-words

GENERIC: infer-call* ( value known -- )

Methods

USING: accessors kernel namespaces quotations.private
stack-checker.backend stack-checker.known-words
stack-checker.state stack-checker.values ;

M: composed-effect infer-call*
    swap push-d [ uncompose ] infer-quot-here
    [ quot2>> known pop-d [ set-known ] keep ]
    [ quot1>> known pop-d [ set-known ] keep ] bi push-d push-d
    1 infer->r infer-call terminated? get
    [ 1 infer-r> infer-call ] unless ;


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

M: curried-effect infer-call*
    swap push-d [ uncurry ] infer-quot-here
    [ quot>> known pop-d [ set-known ] keep ]
    [ obj>> known pop-d [ set-known ] keep ] bi push-d
    (infer-call) ;


USING: accessors kernel stack-checker.known-words
stack-checker.row-polymorphism stack-checker.values ;

M: declared-effect infer-call*
    [ [ known>> infer-call* ] keep ] with-effect-here
    check-declared-effect ;


USING: kernel stack-checker.errors stack-checker.known-words
stack-checker.values ;

M: input-parameter infer-call* \ call unknown-macro-input ;


USING: arrays kernel stack-checker.backend
stack-checker.known-words stack-checker.values
stack-checker.visitor ;

M: literal-tuple infer-call*
    [ 1array #drop, ] [ infer-literal-quot ] bi* ;


USING: kernel stack-checker.errors stack-checker.known-words ;

M: object infer-call* \ call bad-macro-input ;