From 6d2bc8c4ea1131a60b011eacef4e850a3438a264 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 26 Mar 2014 23:15:43 -0700 Subject: [PATCH] Make TR work with contracts enabled. original commit: 917fa3aeb7bae505716ad1e6794df6bb5c796edb --- .../typed-racket-lib/typed-racket/private/type-contract.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt index f3d85450..0ba51a1d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt @@ -17,7 +17,7 @@ racket/dict unstable/list unstable/sequence - (types abbrev) + (only-in (types abbrev) -Bottom) (static-contracts instantiate optimize structures combinators) ;; TODO make this from contract-req (prefix-in c: racket/contract)