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

DrDr repairs.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-16 08:14:21 -04:00
parent ae80150a79
commit 4c56a94eb1
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/meta/props
View File

@ -2009,6 +2009,7 @@ path/s is either such a string or a list of them.
"collects/typed/rackunit" responsible (jay) "collects/typed/rackunit" responsible (jay)
"collects/typed/rackunit/gui.rkt" drdr:command-line (gracket "-t" *) "collects/typed/rackunit/gui.rkt" drdr:command-line (gracket "-t" *)
"collects/typed-scheme" responsible (samth stamourv) "collects/typed-scheme" responsible (samth stamourv)
"collects/typed-scheme/base-env/base-special-env.rkt" drdr:command-line (raco "make" *)
"collects/typed-scheme/optimizer" responsible (stamourv) "collects/typed-scheme/optimizer" responsible (stamourv)
"collects/unstable" responsible (jay samth cce ryanc) "collects/unstable" responsible (jay samth cce ryanc)
"collects/unstable/automata" responsible (jay) "collects/unstable/automata" responsible (jay)

5
collects/tests/typed-scheme/unit-tests/all-tests.rkt
View File

@ -16,12 +16,15 @@
"contract-tests.rkt" "contract-tests.rkt"
(r:infer infer infer-dummy) (r:infer infer infer-dummy)
racket/runtime-path
rackunit rackunit/text-ui) rackunit rackunit/text-ui)
(provide unit-tests) (provide unit-tests)
(infer-param infer) (infer-param infer)
(define-runtime-path special "special-env-typecheck-tests.rkt")
(define unit-tests (define unit-tests
(make-test-suite (make-test-suite
"Unit Tests" "Unit Tests"
@ -38,7 +41,7 @@
fv-tests fv-tests
contract-tests contract-tests
;; this uses dynamic require because the file fails to compile when there's a test failure ;; this uses dynamic require because the file fails to compile when there's a test failure
(λ () ((dynamic-require "unit-tests/special-env-typecheck-tests.rkt" 'typecheck-special-tests))))]) (λ () ((dynamic-require special 'typecheck-special-tests))))])
(f)))) (f))))