From ff5b594242cb7593c939f30c80f81aefa719d209 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 16 Mar 2013 10:34:00 -0700 Subject: [PATCH] Fix parsing of dotted formals. Closes PR 13576. original commit: ccc8b85cef665b310b5197fe2c145c85280f9bd1 --- collects/tests/typed-racket/succeed/pr13576.rkt | 4 ++++ collects/typed-racket/base-env/annotate-classes.rkt | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 collects/tests/typed-racket/succeed/pr13576.rkt diff --git a/collects/tests/typed-racket/succeed/pr13576.rkt b/collects/tests/typed-racket/succeed/pr13576.rkt new file mode 100644 index 00000000..5860dbc4 --- /dev/null +++ b/collects/tests/typed-racket/succeed/pr13576.rkt @@ -0,0 +1,4 @@ +#lang typed/racket/base + +(define: (A ...) (lister args : A ... A) : (List A ... A) + args) diff --git a/collects/typed-racket/base-env/annotate-classes.rkt b/collects/typed-racket/base-env/annotate-classes.rkt index 515d23da..af4a0c5d 100644 --- a/collects/typed-racket/base-env/annotate-classes.rkt +++ b/collects/typed-racket/base-env/annotate-classes.rkt @@ -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))))