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

fixed mangled test case

Browse Source 
(cherry picked from commit 93260c7dd0)
This commit is contained in:
Robby Findler 2010-10-16 22:24:16 -05:00 committed by Eli Barzilay
parent 4ae79dd014
commit 0b8537e246
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -564,10 +564,9 @@
(v .... 2)) (v .... 2))
(define-metafunction/extension f M (define-metafunction/extension f M
g : v -> v g : v -> v
[(g 2) 2])) [(g 2) 2])
(current-traced-metafunctions 'all) (term (g (2))))
(term (g (2)))
(let () (let ()
(define-metafunction empty-language (define-metafunction empty-language