From bcc5c26ca80e753647d1d0a86b66d205bd818091 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Fri, 31 Mar 2017 07:03:24 -0400 Subject: [PATCH] disable with-tr-contracts for now Running with-tr-contracts as-is takes an unreasonable amount of time because the tests are run w/o recompiling typed racket. We need to find a way to make this more reasonable (i.e. make sure we recompile before running the unit tests) before enabling them for DrDr again. --- typed-racket-test/with-tr-contracts.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typed-racket-test/with-tr-contracts.rkt b/typed-racket-test/with-tr-contracts.rkt index db09e5ff..e5b8f5bb 100644 --- a/typed-racket-test/with-tr-contracts.rkt +++ b/typed-racket-test/with-tr-contracts.rkt @@ -1,10 +1,11 @@ #lang racket -(void (putenv "PLT_TR_CONTRACTS" "1")) +#;(void (putenv "PLT_TR_CONTRACTS" "1")) (define ns (make-base-namespace)) (current-namespace ns) (use-compiled-file-paths null) +#; ((dynamic-require 'typed-racket-test/main 'go/text) (dynamic-require 'typed-racket-test/main 'unit-tests))