From 52d81a31148e9437fac2dea959555cd0bf88e04f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 6 May 2014 16:24:35 -0400 Subject: [PATCH] Add test that runs TR unit tests with contracts on. original commit: 59ee811fb3a238e0203d1a7b5baa0986810c8d71 --- .../tests/typed-racket/with-tr-contracts.rkt | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt new file mode 100644 index 00000000..15fd59cc --- /dev/null +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt @@ -0,0 +1,10 @@ +#lang racket + +(void (putenv "PLT_TR_CONTRACTS" "1")) + +(define ns (make-base-namespace)) +(current-namespace ns) +(use-compiled-file-paths null) + +((dynamic-require 'tests/typed-racket/main 'go/text) + (dynamic-require 'tests/typed-racket/main 'unit-tests))