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

Fix handling of rest arg contracts.

Browse Source 
svn: r9910
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-20 20:42:57 +00:00
parent e8123b83ec
commit c3c6131b9e
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/private/type-contract.ss
View File

@ -95,7 +95,7 @@
[_ #`(values #,@rngs*)])] [_ #`(values #,@rngs*)])]
[rst* rst]) [rst* rst])
(if rst (if rst
#'(dom* ... #:rest (listof rst*) . -> . rng*) #'((dom* ...) () #:rest (listof rst*) . ->* . rng*)
#'(dom* ... . -> . rng*)))) #'(dom* ... . -> . rng*))))
(match (map f arrs) (match (map f arrs)
[(list e) e] [(list e) e]