suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixed lw-test.rkt test suite

Browse Source
This commit is contained in:
Robby Findler 2011-06-12 21:13:46 -05:00
parent b76819a66e
commit 58b60a6a87
1 changed files with 34 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
collects/redex/tests/lw-test.rkt
View File

@ -287,8 +287,40 @@
#t #f))
0 0 0 3))
(test (normalize-lw (to-lw (a ((b)) c 1 #t)))
(normalize-lw (to-lw/stx #'(a ((b)) c 1 #t))))
(let ([from-str (λ (str)
(define p (open-input-string str))
(port-count-lines! p)
(read-syntax #f p))])
(test (normalize-lw (to-lw/stx (from-str "()")))
(normalize-lw (to-lw ())))
(test (normalize-lw (to-lw/stx (from-str "a")))
(normalize-lw (to-lw a)))
(test (normalize-lw (to-lw/stx (from-str "(c)")))
(normalize-lw (to-lw (c))))
(test (normalize-lw (to-lw/stx (from-str "((b))")))
(normalize-lw (to-lw ((b)))))
(test (normalize-lw (to-lw/stx (from-str "(a b c)")))
(normalize-lw (to-lw (a b c))))
(test (normalize-lw (to-lw/stx (from-str "1")))
(normalize-lw (to-lw 1)))
(test (normalize-lw (to-lw/stx (from-str "(#t)")))
(normalize-lw (to-lw (#t))))
(test (normalize-lw (to-lw/stx (from-str "#f")))
(normalize-lw (to-lw #f)))
(test (normalize-lw (to-lw/stx (from-str "(a b)")))
(normalize-lw (to-lw (a b))))
(test (normalize-lw (to-lw/stx (from-str "(a ((b)) c 1 #t)")))
(normalize-lw (to-lw (a ((b)) c 1 #t)))))
(print-tests-passed "lw-test.ss"))