fixes bug 176057: partition not working right
This commit is contained in:
parent
8cd744d4bd
commit
b5ae1e2361
|
@ -852,7 +852,7 @@
|
||||||
(values (cons* a0 a1 a*) b*)
|
(values (cons* a0 a1 a*) b*)
|
||||||
(values (cons a0 a*) (cons a1 b*)))
|
(values (cons a0 a*) (cons a1 b*)))
|
||||||
(if (p a1)
|
(if (p a1)
|
||||||
(values (cons a0 a*) (cons a1 b*))
|
(values (cons a1 a*) (cons a0 b*))
|
||||||
(values a* (cons* a0 a1 b*)))))))
|
(values a* (cons* a0 a1 b*)))))))
|
||||||
(if (null? h)
|
(if (null? h)
|
||||||
(if (p a0)
|
(if (p a0)
|
||||||
|
|
|
@ -16,7 +16,7 @@
|
||||||
|
|
||||||
(library (ikarus timers)
|
(library (ikarus timers)
|
||||||
(export time-it verbose-timer)
|
(export time-it verbose-timer)
|
||||||
(import (except (ikarus) time-it))
|
(import (except (ikarus) time-it verbose-timer))
|
||||||
|
|
||||||
(define-struct stats
|
(define-struct stats
|
||||||
(user-secs user-usecs
|
(user-secs user-usecs
|
||||||
|
|
|
@ -1 +1 @@
|
||||||
1235
|
1236
|
||||||
|
|
Loading…
Reference in New Issue