check-values ( word element -- )

Vocabulary

help.lint.checks

Inputs

word	a word
element	a sequence

Outputs

None

Word description

Throws an error if the $values pair doesn't match the declared stack effect.

Examples

USING: help.lint.checks math ; : foo ( x -- y ) ; \ foo { $values { "a" number } { "b" number } } check-values
$values don't match stack effect; expected { "x" "y" }, got { "a" "b" } Type :help for debugging help.

Definition

USING: formatting kernel sequences ;

IN: help.lint.checks

: check-values ( word element -- )
    2dup skip-check-values?
    [ 2drop ] [
        [ effect-values ] [ extract-values ] bi* 2dup sequence=
        [ 2drop ] [
            "$values don't match stack effect; expected %u, got %u"
            sprintf simple-lint-error
        ] if
    ] if ;