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

Rackety

Browse Source
This commit is contained in:
Robby Findler 2010-10-13 17:43:57 -05:00
parent 2652237559
commit c2d7f58e65
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/redex/tests/tl-test.rkt
View File

@ -1,8 +1,8 @@
(module tl-test scheme #lang racket
(require "../reduction-semantics.ss" (require "../reduction-semantics.ss"
"test-util.ss" "test-util.ss"
(only-in "../private/matcher.ss" make-bindings make-bind) (only-in "../private/matcher.ss" make-bindings make-bind)
scheme/match racket/match
"../private/struct.ss") "../private/struct.ss")
(reset-count) (reset-count)
@ -2080,4 +2080,5 @@
(test-bad-equiv-arg test-->) (test-bad-equiv-arg test-->)
(test-bad-equiv-arg test-->>)) (test-bad-equiv-arg test-->>))
(print-tests-passed 'tl-test.ss)) (print-tests-passed 'tl-test.ss)