Remove unneeded copy
parent
28abbfc6c2
commit
12590f6c1b
|
@ -106,17 +106,12 @@ SYMBOL: enter-out
|
||||||
'[ , prepend ] bi@
|
'[ , prepend ] bi@
|
||||||
<effect> ;
|
<effect> ;
|
||||||
|
|
||||||
: insert-copy ( effect -- )
|
|
||||||
in>> [ consume-d dup ] keep make-copies
|
|
||||||
[ nip output-d ] [ #copy, ] 2bi ;
|
|
||||||
|
|
||||||
: call-recursive-inline-word ( word -- )
|
: call-recursive-inline-word ( word -- )
|
||||||
dup "recursive" word-prop [
|
dup "recursive" word-prop [
|
||||||
[ required-stack-effect adjust-stack-effect ] [ ] [ recursive-label ] tri
|
[ required-stack-effect adjust-stack-effect ] [ ] [ recursive-label ] tri
|
||||||
[ 2drop insert-copy ]
|
|
||||||
[ add-call drop ]
|
[ add-call drop ]
|
||||||
[ nip '[ , #call-recursive, ] consume/produce ]
|
[ nip '[ , #call-recursive, ] consume/produce ]
|
||||||
3tri
|
3bi
|
||||||
] [ undeclared-recursion-error inference-error ] if ;
|
] [ undeclared-recursion-error inference-error ] if ;
|
||||||
|
|
||||||
: inline-word ( word -- )
|
: inline-word ( word -- )
|
||||||
|
|
Loading…
Reference in New Issue