>r/r> optimization

slava 2006-11-04 07:44:28 +00:00
parent 674e993ce3
commit 40786556b3
1 changed files with 4 additions and 2 deletions

View File

@ -42,11 +42,13 @@ M: #shuffle optimize-node*
! #>r ! #>r
M: #>r optimize-node* M: #>r optimize-node*
[ node-in-d empty? ] prune-if ; [ dup node-in-d empty? swap node-successor #r>? or ]
prune-if ;
! #r> ! #r>
M: #r> optimize-node* M: #r> optimize-node*
[ node-in-r empty? ] prune-if ; [ dup node-in-r empty? swap node-successor #>r? or ]
prune-if ;
! #push ! #push
M: #push optimize-node* M: #push optimize-node*