[ register-write ] apply-stack-op ;
: ensure-no-vacant ( state -- )
- [ second ] map dup { { } { } } = [ drop ] [ vacant-when-calling ] if ;
+ [ second ] map dup { { } { } } = [ drop ] [ throw-vacant-when-calling ] if ;
: all-live ( state -- state' )
[ first { } 2array ] map ;
: underflowable-peek? ( state peek -- ? )
2dup loc>> >loc< swap [ 0 1 ? swap nth ] dip classify-read
- dup 2 = [ drop vacant-peek ] [ 2nip 1 = ] if ;
+ dup 2 = [ drop throw-vacant-peek ] [ 2nip 1 = ] if ;
M: ##peek visit-insn ( state insn -- state )
dup loc>> n>> 0 >= t assert=