suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove contract on unit-exported definition.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2013-05-08 14:28:44 -04:00
parent 70c06e1e80
commit a07cdf39ff
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/typecheck/tc-send.rkt
View File

@ -11,8 +11,7 @@
(import tc-expr^) (import tc-expr^)
(export tc-send^) (export tc-send^)
(define/cond-contract (tc/send form rcvr method args [expected #f]) (define (tc/send form rcvr method args [expected #f])
(-->* (syntax? syntax? syntax? syntax?) ((-or/c tc-results/c #f)) tc-results/c)
(match (tc-expr rcvr) (match (tc-expr rcvr)
[(tc-result1: (Instance: (and c (Class: _ _ methods)))) [(tc-result1: (Instance: (and c (Class: _ _ methods))))
(match (tc-expr method) (match (tc-expr method)