:: typed-inputs ( quot word types -- quot' )
types unboxed-types :> unboxed-types
- [ input-mismatch-error ] word types make-unboxer
+ [ throw-input-mismatch-error ] word types make-unboxer
unboxed-types quot '[ _ declare @ ]
compose ;
! typed outputs
:: typed-outputs ( quot word types -- quot' )
- [ output-mismatch-error ] word types make-unboxer
+ [ throw-output-mismatch-error ] word types make-unboxer
quot prepose ;
DEFER: make-boxer
dup {
[ effect-in-types typed-stack-effect? ]
[ effect-out-types typed-stack-effect? ]
- } 1|| [ (typed-def) ] [ nip no-types-specified ] if ;
+ } 1|| [ (typed-def) ] [ nip throw-no-types-specified ] if ;
M: typed-word subwords
[ call-next-method ]