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

Disabled redex test per Robby's request

Browse Source 
(no corresponding master commit)
This commit is contained in:
Ryan Culpepper 2010-10-18 08:40:50 -06:00
parent c1746d7649
commit 4965622a63
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -549,7 +549,8 @@
(define-metafunction/extension f empty-language (define-metafunction/extension f empty-language
[(g any) 2]) [(g any) 2])
(test (term (g 0)) 2)) (test (term (g 0)) 2))
#:
(let () (let ()
(define-language L (define-language L
(v 1 (v))) (v 1 (v)))
@ -2118,4 +2119,4 @@
(test-bad-equiv-arg test-->>)) (test-bad-equiv-arg test-->>))
(print-tests-passed 'tl-test.ss) (print-tests-passed 'tl-test.ss)