ikarus/scheme/tests/tests-3.4-req.scm

84 lines
3.8 KiB
Scheme

(add-tests-with-string-output "nontail apply"
[(let ([f (lambda () 12)])
(fx+ (apply f '()) 1)) => "13\n"]
[(let ([f (lambda (x) (fx+ x 12))])
(fx+ (apply f 13 '()) 1)) => "26\n"]
[(let ([f (lambda (x) (fx+ x 12))])
(fx+ (apply f (cons 13 '())) 1)) => "26\n"]
[(let ([f (lambda (x y z) (fx+ x (fx* y z)))])
(fx+ (apply f 12 '(7 2)) 1)) => "27\n"]
[(cons (apply vector '(1 2 3 4 5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 '(2 3 4 5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 '(3 4 5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 '(4 5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 '(5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 5 '(6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 5 6 '(7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 5 6 7 '(8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 5 6 7 8 ()) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
)
(add-tests-with-string-output "tail apply"
[(let ([f (lambda () 12)])
(apply f '())) => "12\n"]
[(let ([f (lambda (x) (fx+ x 12))])
(apply f 13 '())) => "25\n"]
[(let ([f (lambda (x) (fx+ x 12))])
(apply f (cons 13 '()))) => "25\n"]
[(let ([f (lambda (x y z) (fx+ x (fx* y z)))])
(apply f 12 '(7 2))) => "26\n"]
[(apply vector '(1 2 3 4 5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 '(2 3 4 5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 '(3 4 5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 '(4 5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 '(5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 5 '(6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 5 6 '(7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 5 6 7 '(8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 5 6 7 8 ()) => "#(1 2 3 4 5 6 7 8)\n"]
)
(add-tests-with-string-output "nontail apply"
[(let ([f (lambda () 12)])
(fx+ (apply f '()) 1)) => "13\n"]
[(let ([f (lambda (x) (fx+ x 12))])
(fx+ (apply f 13 '()) 1)) => "26\n"]
[(let ([f (lambda (x) (fx+ x 12))])
(fx+ (apply f (cons 13 '())) 1)) => "26\n"]
[(let ([f (lambda (x y z) (fx+ x (fx* y z)))])
(fx+ (apply f 12 '(7 2)) 1)) => "27\n"]
[(cons (apply vector '(1 2 3 4 5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 '(2 3 4 5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 '(3 4 5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 '(4 5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 '(5 6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 5 '(6 7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 5 6 '(7 8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 5 6 7 '(8)) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
[(cons (apply vector 1 2 3 4 5 6 7 8 ()) '()) => "(#(1 2 3 4 5 6 7 8))\n"]
)
(add-tests-with-string-output "tail apply"
[(let ([f (lambda () 12)])
(apply f '())) => "12\n"]
[(let ([f (lambda (x) (fx+ x 12))])
(apply f 13 '())) => "25\n"]
[(let ([f (lambda (x) (fx+ x 12))])
(apply f (cons 13 '()))) => "25\n"]
[(let ([f (lambda (x y z) (fx+ x (fx* y z)))])
(apply f 12 '(7 2))) => "26\n"]
[(apply vector '(1 2 3 4 5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 '(2 3 4 5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 '(3 4 5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 '(4 5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 '(5 6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 5 '(6 7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 5 6 '(7 8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 5 6 7 '(8)) => "#(1 2 3 4 5 6 7 8)\n"]
[(apply vector 1 2 3 4 5 6 7 8 ()) => "#(1 2 3 4 5 6 7 8)\n"]
)