Handbook
Glossary
adjust-stack-effect ( effect -- effect' )
Vocabulary
stack-checker
.
inlining
Inputs
effect
an
object
Outputs
effect'
an
object
Definition
USING:
accessors
effects
kernel
math.order
sequences
stack-checker.state
;
IN:
stack-checker.inlining
:
adjust-stack-effect
( effect -- effect' )
[
in>>
]
[
out>>
]
bi
meta-d
length
pick
length
[-]
object
<repetition>
[
prepend
]
curry
bi@
<effect>
;