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

Fix parsing of dotted formals.

Browse Source 
Closes PR 13576.

original commit: ccc8b85cef665b310b5197fe2c145c85280f9bd1
This commit is contained in:
Eric Dobson 2013-03-16 10:34:00 -07:00
parent 8c1e485526
commit ff5b594242
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-racket/succeed/pr13576.rkt Normal file
View File

@ -0,0 +1,4 @@
#lang typed/racket/base
(define: (A ...) (lister args : A ... A) : (List A ... A)
args)

2
collects/typed-racket/base-env/annotate-classes.rkt
View File

@ -80,7 +80,7 @@
#:attributes (name ann-name bound ty formal-ty)
#:literals (:)
(pattern (~seq name:id : ty bnd:ddd/bound)
#:with formal-ty #'(ty bnd)
#:with formal-ty #'(ty . bnd)
#:attr bound (attribute bnd.bound)
#:with ann-name (syntax-property (syntax-property #'name 'type-label #'ty)
'type-dotted (attribute bnd.bound))))