\r
: check-action-effect ( quot -- quot )\r
dup infer {\r
- { [ dup (( a -- b )) effect<= ] [ drop ] }\r
- { [ dup (( -- b )) effect<= ] [ drop [ drop ] prepose ] }\r
+ { [ dup ( a -- b ) effect<= ] [ drop ] }\r
+ { [ dup ( -- b ) effect<= ] [ drop [ drop ] prepose ] }\r
[ bad-effect ]\r
} cond ;\r
\r
SYNTAX: EBNF: \r
reset-tokenizer scan-new-word dup ";EBNF" parse-multiline-string \r
ebnf>quot swapd\r
- (( input -- ast )) define-declared "ebnf-parser" set-word-prop \r
+ ( input -- ast ) define-declared "ebnf-parser" set-word-prop \r
reset-tokenizer ;\r