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

Remove contract on unit-exported definition.

Browse Source 
original commit: a07cdf39ffa5e91bf4f44d6eb11cf8092c6c24bd
This commit is contained in:
Sam Tobin-Hochstadt 2013-05-08 14:28:44 -04:00
parent 983b94994f
commit db1dc2104f
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^)
(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)