X-Git-Url: https://git.lukelau.me/?a=blobdiff_plain;f=tests.scm;h=0e70480b41eb93a80134bfb9f124792f9b5b758f;hb=c3ee0f7639a02371a2d01b39ddca91506c4791c3;hp=56762c72124ee6c0f9bdbd3dd47754a5b73a8dd3;hpb=25a4c23da2d76f3bb951d01b1c3175be80441a0a;p=scheme.git diff --git a/tests.scm b/tests.scm index 56762c7..0e70480 100644 --- a/tests.scm +++ b/tests.scm @@ -16,21 +16,41 @@ result (loop (read-char p) (string-append result (string next)))))))) -(define (test-prog prog output) - (compile-to-binary prog "/tmp/test-prog") +(define (test-prog prog exit-code) + (display prog) + (newline) + (compile-to-binary prog "/tmp/test-prog" 'darwin) + (test (system "/tmp/test-prog") exit-code)) + +(define (test-prog-stdout prog output) + (display prog) + (newline) + (compile-to-binary prog "/tmp/test-prog" 'darwin) (system "/tmp/test-prog > /tmp/test-output.txt") (let ((str (read-file "/tmp/test-output.txt"))) - (test (substring str 0 (- (string-length str) 1)) - output))) + (test str output))) (test (typecheck '(lambda (x) (+ ((lambda (y) (x y 3)) 5) 2))) '(abs (abs int (abs int int)) int)) -(test-prog '(+ 1 2) "3") -(test-prog '((lambda (x) ((lambda (y) (+ x y)) 42)) 100) "142") +(test-prog '(+ 1 2) 3) +(test-prog '((lambda (x) ((lambda (y) (+ x y)) 42)) 100) 142) + +(test-prog '(* 10 5) 50) + (test-prog '(let ((x (+ 1 32)) (y x)) - ((lambda (z) (+ 1 z)) (* y x))) - "1090") -(test-prog '(if ((lambda (x) (= x 2)) 1) 0 (- 32 1)) "31") + ((lambda (z) (+ 2 z)) (* y x))) + 67) ; exit code modulos at 256 +(test-prog '(if ((lambda (x) (= x 2)) 1) 0 (- 32 1)) 31) + +(test-prog-stdout '(if (= 3 2) 1 (let () (print "hello world!") 0)) "hello world!") + +(test-prog '((lambda (x y) (+ x y)) 1 2) 3) +(test-prog '((lambda (x) (+ ((lambda (y) (+ y 1)) 3) x)) 2) 6) + + ; passing closures about +(test-prog '((lambda (z) ((lambda (x) (x 1)) (lambda (y) (+ z y)))) 2) 3) + ; passing builtins about +(test-prog '((lambda (x) ((lambda (a b) (a b 3)) + x)) 3) 6)