From 4c56a94eb11b194060b43d39e5e444454ab41acf Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 16 Aug 2011 08:14:21 -0400 Subject: [PATCH] DrDr repairs. --- collects/meta/props | 1 + collects/tests/typed-scheme/unit-tests/all-tests.rkt | 5 ++++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 79437d63cb..766cde4ff5 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -2009,6 +2009,7 @@ path/s is either such a string or a list of them. "collects/typed/rackunit" responsible (jay) "collects/typed/rackunit/gui.rkt" drdr:command-line (gracket "-t" *) "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/unstable" responsible (jay samth cce ryanc) "collects/unstable/automata" responsible (jay) diff --git a/collects/tests/typed-scheme/unit-tests/all-tests.rkt b/collects/tests/typed-scheme/unit-tests/all-tests.rkt index 46c9c11819..5b49e1ad5f 100644 --- a/collects/tests/typed-scheme/unit-tests/all-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/all-tests.rkt @@ -16,12 +16,15 @@ "contract-tests.rkt" (r:infer infer infer-dummy) + racket/runtime-path rackunit rackunit/text-ui) (provide unit-tests) (infer-param infer) +(define-runtime-path special "special-env-typecheck-tests.rkt") + (define unit-tests (make-test-suite "Unit Tests" @@ -38,7 +41,7 @@ fv-tests contract-tests ;; 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))))