declare-effect-d ( word effect variables branches n -- )

Vocabulary

stack-checker.backend

Inputs

word	an object
effect	an object
variables	an object
branches	an object
n	an object

Outputs

None

Definition

USING: kernel math sequences stack-checker.errors
stack-checker.state stack-checker.values ;

IN: stack-checker.backend

:: declare-effect-d ( word effect variables branches n -- )
    meta-d length :> d-length n d-length < [
        d-length 1 - n - :> n' n' meta-d nth
        :> value value known :> known known word effect
        variables branches <declared-effect>
        :> known' known' value set-known known' branches push
    ] [ word unknown-macro-input ] if ;