From 0b8c29b98e1dea7f1b36b231f5e7f7c9e894c3f7 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 20 Jan 2015 14:16:44 -0500 Subject: [PATCH] Fix TR's async-channel-contract test --- typed-racket-test/fail/async-channel-contract.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/typed-racket-test/fail/async-channel-contract.rkt b/typed-racket-test/fail/async-channel-contract.rkt index fb3b2795..f92c8597 100644 --- a/typed-racket-test/fail/async-channel-contract.rkt +++ b/typed-racket-test/fail/async-channel-contract.rkt @@ -1,5 +1,5 @@ #; -(exn-pred #rx"could not convert type to a contract.*Async-Channelof") +(exn-pred #rx"expected: Integer.*given: \"not an integer\"") #lang racket/load ;; Test typed-untyped interaction with channels @@ -13,7 +13,7 @@ (thread (λ () (async-channel-put ch (box 3))))) (provide putter ch)) -(require 'typed) +(require 'typed racket/async-channel) (putter) (set-box! (async-channel-get ch) "not an integer")