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

Fix contract.

Browse Source 
original commit: fe8f1c3591ea86f7d0ec7943ccff47c4c2585dea
This commit is contained in:
Vincent St-Amour 2011-02-28 16:01:55 -05:00
parent c60b5b21a9
commit 5e37d261e5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/typecheck/tc-let-unit.rkt
View File

@ -29,7 +29,7 @@
(d/c (do-check expr->type namess results expected-results form exprs body clauses expected #:abstract [abstract null])
(((syntax? syntax? tc-results? . c:-> . any/c)
(listof (listof identifier?)) (listof tc-results?)
(listof (listof identifier?)) (listof tc-results?) (listof tc-results?)
syntax? (listof syntax?) syntax? (listof syntax?) (or/c #f tc-results?))
(#:abstract any/c)
. c:->* .