Make TR work with contracts enabled.

2014-03-26 23:15:43 -07:00 · 2014-03-26 23:15:43 -07:00 · 917fa3aeb7
commit 917fa3aeb7
parent ca3411155f
1 changed files with 1 additions and 1 deletions
--- 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)