From b7814e7eb1dc761e15268df8295784e10bd9c415 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Mon, 30 Jun 2014 10:50:02 -0400 Subject: [PATCH] fix async-channel static contract in TR --- .../typed-racket/static-contracts/combinators/derived.rkt | 2 +- .../tests/typed-racket/succeed/make-top-predicate.rkt | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt index 09832f6a5d..8ca3e9733d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt @@ -28,7 +28,7 @@ (define empty-hash/sc (and/sc hash?/sc (flat/sc #'(λ (h) (zero? (hash-count h)))))) (define channel?/sc (flat/sc #'channel?)) -(define async-channel?/sc (flat/sc #'channel?)) +(define async-channel?/sc (flat/sc #'async-channel?)) (define thread-cell?/sc (flat/sc #'thread-cell?)) (define prompt-tag?/sc (flat/sc #'continuation-prompt-tag?)) (define continuation-mark-key?/sc (flat/sc #'continuation-mark-key?)) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/make-top-predicate.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/make-top-predicate.rkt index 897ea142d5..9dfd725e1a 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/make-top-predicate.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/make-top-predicate.rkt @@ -1,4 +1,5 @@ #lang typed/racket +(require typed/racket/async-channel) (make-predicate VectorTop) (make-predicate BoxTop)