2array recursive-state get swap prefix infer-quot ;
: time-bomb ( error -- )
- '[ , throw ] recursive-state get infer-quot ;
+ '[ _ throw ] recursive-state get infer-quot ;
: bad-call ( -- )
"call must be given a callable" time-bomb ;
] maybe-cannot-infer ;
: apply-word/effect ( word effect -- )
- swap '[ , #call, ] consume/produce ;
+ swap '[ _ #call, ] consume/produce ;
: required-stack-effect ( word -- effect )
dup stack-effect [ ] [ \ missing-effect inference-error ] ?if ;