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

fix redex docs and disable running test-docs-complete.rkt directly

Browse Source 
in drdr (it runs already via run-tests.rkt)
This commit is contained in:
Robby Findler 2012-11-12 07:41:06 -06:00
parent 4c3ee9c3c9
commit a4d440a5e9
2 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/meta/props
View File

@ -938,6 +938,7 @@ path/s is either such a string or a list of them.
"collects/redex/tests/run-tests.rkt" drdr:command-line (racket * "--examples" "--no-bitmap-gui") drdr:timeout 360 "collects/redex/tests/run-tests.rkt" drdr:command-line (racket * "--examples" "--no-bitmap-gui") drdr:timeout 360
"collects/redex/tests/stepper-test.rkt" drdr:command-line (mzc *) "collects/redex/tests/stepper-test.rkt" drdr:command-line (mzc *)
"collects/redex/tests/term-test.rkt" drdr:command-line (mzc *) "collects/redex/tests/term-test.rkt" drdr:command-line (mzc *)
"collects/redex/tests/test-docs-complete.rkt" drdr:command-line (raco "make" *)
"collects/redex/tests/tl-test.rkt" drdr:command-line (mzc *) "collects/redex/tests/tl-test.rkt" drdr:command-line (mzc *)
"collects/repo-time-stamp" responsible (eli) "collects/repo-time-stamp" responsible (eli)
"collects/rnrs" responsible (mflatt) "collects/rnrs" responsible (mflatt)

2
collects/redex/scribblings/ref.scrbl
View File

@ -2178,7 +2178,7 @@ seeds it with the reduction-sequence supplied in @racket[seed].
as an index into @racket[derivations]. as an index into @racket[derivations].
} }
@defproc[(derivations/ps [derivation derivation?] @defproc[(derivation/ps [derivation derivation?]
[filename path-string?] [filename path-string?]
[#:pp pp [#:pp pp
(or/c (any -> string) (or/c (any -> string)