From 0678743e3d5be65999c51fe2325a48688a826ae0 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 5 Nov 2016 20:01:26 -0400 Subject: [PATCH] Fix errors in a9ae85d3. --- typed-racket-lib/typed-racket/private/type-contract.rkt | 3 ++- typed-racket-test/succeed/cast-mod.rkt | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/private/type-contract.rkt b/typed-racket-lib/typed-racket/private/type-contract.rkt index d8bb9899..dcadef11 100644 --- a/typed-racket-lib/typed-racket/private/type-contract.rkt +++ b/typed-racket-lib/typed-racket/private/type-contract.rkt @@ -9,7 +9,8 @@ (utils tc-utils) (env type-name-env row-constraint-env) (rep core-rep rep-utils type-mask values-rep) - (types resolve union utils printer abbrev) + (types resolve union utils printer) + (only-in (types abbrev) -Dead-Code) (prefix-in t: (types abbrev numeric-tower subtype)) (private parse-type syntax-properties) racket/match racket/syntax racket/list diff --git a/typed-racket-test/succeed/cast-mod.rkt b/typed-racket-test/succeed/cast-mod.rkt index c94a6498..d07d18c9 100644 --- a/typed-racket-test/succeed/cast-mod.rkt +++ b/typed-racket-test/succeed/cast-mod.rkt @@ -117,7 +117,7 @@ 1) (check-equal? (if #true 1 `#s(struct ,(cast 2 Integer) ,(cast 3 Integer))) 1) - (check-true ;; check that this doesn't have an internal error + (check-not-false ;; check that this doesn't have an internal error (λ () (begin (error "hi") (cast (string->number "42") Integer))))