From db1dc2104fa0ac882b912ea73b6e107ba2e95c38 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 8 May 2013 14:28:44 -0400 Subject: [PATCH] Remove contract on unit-exported definition. original commit: a07cdf39ffa5e91bf4f44d6eb11cf8092c6c24bd --- collects/typed-racket/typecheck/tc-send.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/typed-racket/typecheck/tc-send.rkt b/collects/typed-racket/typecheck/tc-send.rkt index 7ea1e709..7949f801 100644 --- a/collects/typed-racket/typecheck/tc-send.rkt +++ b/collects/typed-racket/typecheck/tc-send.rkt @@ -11,8 +11,7 @@ (import tc-expr^) (export tc-send^) -(define/cond-contract (tc/send form rcvr method args [expected #f]) - (-->* (syntax? syntax? syntax? syntax?) ((-or/c tc-results/c #f)) tc-results/c) +(define (tc/send form rcvr method args [expected #f]) (match (tc-expr rcvr) [(tc-result1: (Instance: (and c (Class: _ _ methods)))) (match (tc-expr method)