diff options
Diffstat (limited to 'tools/t101.scm')
| -rw-r--r-- | tools/t101.scm | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/tools/t101.scm b/tools/t101.scm index 26a565b..f041688 100644 --- a/tools/t101.scm +++ b/tools/t101.scm @@ -3,7 +3,7 @@ (define aux-counter 0) (system "make-repl") -(let ((aux-file (format #f "t101-aux-~D.scm" (set! aux-counter (+ aux-counter 1))))) +(let ((aux-file (format #f "t101-~D.scm" (set! aux-counter (+ aux-counter 1))))) (call-with-output-file aux-file (lambda (p) (format p "(define aux-counter ~D)\n" aux-counter) @@ -12,7 +12,7 @@ (format *stderr* "~%~NC~%test: safety=1~%" 80 #\-) (system (string-append "./repl " aux-file))) -(let ((aux-file (format #f "t101-aux-~D.scm" (set! aux-counter (+ aux-counter 1))))) +(let ((aux-file (format #f "t101-~D.scm" (set! aux-counter (+ aux-counter 1))))) (call-with-output-file aux-file (lambda (p) (format p "(define aux-counter ~D)\n" aux-counter) @@ -23,7 +23,7 @@ (for-each (lambda (test-case) - (let ((aux-file (format #f "t101-aux-~D.scm" (set! aux-counter (+ aux-counter 1))))) + (let ((aux-file (format #f "t101-~D.scm" (set! aux-counter (+ aux-counter 1))))) (call-with-output-file aux-file (lambda (p) (format p "(define aux-counter ~D)\n" aux-counter) @@ -32,7 +32,7 @@ (format p "(load \"s7test.scm\")~%(exit)~%"))) (format *stderr* "~%~NC~%test: ~S~%" 80 #\- test-case) (system (string-append "./repl " aux-file)))) - (list + (list "`(ok? ',tst (lambda () (eval ',tst)) ,expected)" "`(ok? ',tst (lambda () ,tst) ,expected)" "`(ok? ',tst (#_let () (define (_s7_) ,tst)) ,expected)" @@ -48,7 +48,7 @@ ;; "`(ok? ',tst (lambda () (#_let ((__x__ #f)) (define (__f__) (do ((__i__ 0 (+ __i__ 1))) ((= __i__ 2) __x__) (set! __x__ ,tst))) (__f__))) ,expected)" "`(ok? ',tst (lambda () (define (!f!) (#_let ((!v! (vector #f))) (do ((!i! 0 (+ !i! 1))) ((= !i! 1) (!v! 0)) (vector-set! !v! 0 ,tst)))) (!f!)) ,expected)" "`(ok? ',tst (lambda () (define (!f!) (#_let ((!v! #f)) (do ((!i! 0 (+ !i! 1))) ((= !i! 1) !v!) (set! !v! ,tst)))) (!f!)) ,expected)" - "`(ok? ',tst (lambda () (define (!f!) (#_let ((!x! (map (lambda (!a!) ,tst) '(0)))) (if (pair? !x!) (car !x!) :no-value))) (!f!)) ,expected)" + "`(ok? ',tst (lambda () (define (!f!) (#_let ((!x! (map (lambda (!a!) ,tst) '(0)))) (if (pair? !x!) (car !x!) #<no-value>))) (!f!)) ,expected)" "`(ok? ',tst (lambda () (define (!f!) (#_let ((!x! #f)) (for-each (lambda (!a!) (set! !x! ,tst)) '(0)) !x!)) (!f!)) ,expected)" "`(ok? ',tst (lambda () (call-with-exit (lambda (!a!) (!a! ,tst)))) ,expected)" "`(ok? ',tst (lambda () (call/cc (lambda (!a!) (!a! ,tst)))) ,expected)" @@ -79,7 +79,7 @@ ;; "`(ok? ',tst (lambda () (let ((!x 0)) (let-temporarily ((!x ,tst)) !x))) ,expected)" )) -(let ((aux-file (format #f "t101-aux-~D.scm" (set! aux-counter (+ aux-counter 1))))) +(let ((aux-file (format #f "t101-~D.scm" (set! aux-counter (+ aux-counter 1))))) (call-with-output-file aux-file (lambda (p) (format p "(define aux-counter ~D)\n" aux-counter) @@ -88,7 +88,7 @@ (format *stderr* "~%~NC~%test: debug=1~%" 80 #\-) (system (string-append "./repl " aux-file))) -(let ((aux-file (format #f "t101-aux-~D.scm" (set! aux-counter (+ aux-counter 1))))) +(let ((aux-file (format #f "t101-~D.scm" (set! aux-counter (+ aux-counter 1))))) (call-with-output-file aux-file (lambda (p) (format p "(define aux-counter ~D)\n" aux-counter) @@ -97,7 +97,7 @@ (format *stderr* "~%~NC~%test: debug=2~%" 80 #\-) (system (string-append "./repl " aux-file))) -(let ((aux-file (format #f "t101-aux-~D.scm" (set! aux-counter (+ aux-counter 1))))) +(let ((aux-file (format #f "t101-~D.scm" (set! aux-counter (+ aux-counter 1))))) (call-with-output-file aux-file (lambda (p) (format p "(define aux-counter ~D)\n" aux-counter) @@ -113,7 +113,7 @@ (define-macro (test tst expected) (let ((_call_ (gensym)) (_caller_ (gensym))) - `(ok? ',tst + `(ok? ',tst (lambda () (define (,_caller_) (,_call_ ,tst)) (define (,_call_ x) x) @@ -124,14 +124,14 @@ (define-macro (num-test tst expected) (let ((_call_ (gensym)) (_caller_ (gensym))) - `(nok? ',tst + `(nok? ',tst (lambda () (define (,_caller_) (,_call_ ,tst)) (define (,_call_ x) x) (,_caller_) (,_caller_)) ,expected))) - + (load "s7test.scm") |# @@ -149,7 +149,7 @@ (system "gcc -o ffitest ffitest.c -g -Wall s7.o -lm -I.") (system "ffitest")) ))) - + ;(format *stderr* "~%~NC lint ~NC~%" 20 #\- 20 #\-) ;(catch #t (lambda () (lint "snd-test.scm" #f)) (lambda (type info) (apply format #t info))) |