check-action-effect ( quot -- quot )

Vocabulary

peg.ebnf.private

Inputs

quot

an object

Outputs

quot

an object

Definition

USING: combinators effects kernel stack-checker ;

IN: peg.ebnf.private

: check-action-effect ( quot -- quot )
    dup infer {
        { [ dup ( a -- b ) effect<= ] [ drop ] }
        { [ dup ( -- b ) effect<= ] [ drop [ drop ] prepose ] }
        [ bad-effect ]
    } cond ;