X-Git-Url: http://git.lukelau.me/?a=blobdiff_plain;f=tests.scm;h=5b1b1bfc769b8540f6e1ef0d0ebc4ee7a52a4ebd;hb=685089345e07943eaab2eec10208ba513ca537b2;hp=563a6e708e79a2abef0eb54b6c68b093be3ab333;hpb=9ee429534c3011b0ed413dc01e81db13f71ac884;p=scheme.git diff --git a/tests.scm b/tests.scm index 563a6e7..5b1b1bf 100644 --- a/tests.scm +++ b/tests.scm @@ -17,24 +17,34 @@ (loop (read-char p) (string-append result (string next)))))))) (define (test-prog prog exit-code) - (compile-to-binary prog "/tmp/test-prog") - (system "/tmp/test-prog")) + (display prog) + (newline) + (compile-to-binary prog "/tmp/test-prog" 'darwin) + (test (system "/tmp/test-prog") exit-code)) (define (test-prog-stdout prog output) - (compile-to-binary prog "/tmp/test-prog") + (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 '(* 10 5) 50) + (test-prog '(let ((x (+ 1 32)) (y x)) - ((lambda (z) (+ 1 z)) (* y x))) - 1090) + ((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)