Ticket #596: em-foldi-right.patch

File em-foldi-right.patch, 558 bytes (added by Moritz Heidkamp, 12 years ago)

  • rb-tree.scm

     
    696696          ((fold)                        (foldv (root)))
    697697          ((foldi)                       (foldi (root)))
    698698          ((fold-right)                  (foldv-right (root)))
    699           ((foldi-right)                 foldi-right)
     699          ((foldi-right)                 (foldi-right (root)))
    700700         
    701701          ((fold-partial)                (foldv-partial (root)))
    702702          ((foldi-partial)               (foldi-partial (root)))