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

Use new * syntax in prims.

Browse Source 
Handle extra tables in infer.

original commit: 975f26b93d9372f46960a42915d06702e9be9b49
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-10 16:38:14 -04:00
parent ed9af8fdfd
commit 0085310b4f
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/prims.ss
View File

@ -96,7 +96,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
(define-for-syntax (types-of-formals stx src)
(syntax-case stx (:)
[([var : ty] ...) (quasisyntax/loc stx (ty ...))]
[([var : ty] ... . [rest : rest-ty]) (syntax/loc stx (ty ... rest-ty ..))]
[([var : ty] ... . [rest : rest-ty]) (syntax/loc stx (ty ... rest-ty *))]
[_
(let loop ([stx stx])
(syntax-case stx ()