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

Fix contract for tc/send

Browse Source
This commit is contained in:
Asumu Takikawa 2015-01-14 00:21:09 -05:00
parent 2c0d4b8aec
commit e922807837
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
typed-racket-lib/typed-racket/typecheck/signatures.rkt
View File

@ -29,7 +29,12 @@
([cond-contracted tc-literal (->* (syntax?) ((or/c Type/c #f)) Type/c)]))
(define-signature tc-send^
([cond-contracted tc/send ((syntax? syntax? syntax? syntax?) ((or/c tc-results/c #f)) . ->* . full-tc-results/c)]))
([cond-contracted tc/send ((syntax? syntax?
identifier? syntax?
identifier? syntax?
syntax? syntax?)
((or/c tc-results/c #f))
. ->* . full-tc-results/c)]))
(define-signature tc-expression^
([cond-contracted tc/#%expression ((syntax?) ((or/c tc-results/c #f)) . ->* . full-tc-results/c)]))