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

Fix for modern redex

Browse Source 
svn: r16737
This commit is contained in:
Sam Tobin-Hochstadt 2009-11-13 00:13:09 +00:00
parent 676df4b338
commit 77bd8bac39
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/mzscheme/benchmarks/mz/redsem.scm
View File

@ -12,9 +12,9 @@ Robby
|#
(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 2 4)))
(set-cache-size! #f)
(require (planet "beginner.ss" ("robby" "redex.plt" 2 4) "examples"))
(require redex/reduction-semantics)
(caching-enabled? #f)
(require redex/examples/beginner)
(collect-garbage)
(printf "Now\n")
(time (begin (run-tests) (run-tests) (run-tests)))