X-Git-Url: https://git.lukelau.me/?a=blobdiff_plain;f=tests.scm;h=89ca852986f7e921f7a54e1153edc9be0be2f33c;hb=2672d991b4316665913b46c44763cc2b012043b0;hp=56762c72124ee6c0f9bdbd3dd47754a5b73a8dd3;hpb=25a4c23da2d76f3bb951d01b1c3175be80441a0a;p=scheme.git diff --git a/tests.scm b/tests.scm index 56762c7..89ca852 100644 --- a/tests.scm +++ b/tests.scm @@ -16,21 +16,38 @@ 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)