From 05db2f04af30f21c35e7de2d064ac3a3511a482c Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 14 Oct 2008 19:07:27 +0000 Subject: [PATCH] allow the arrow to appear anywhere (since no inputs is a possible case) svn: r12039 --- collects/typed-scheme/private/prims.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.ss index b01a35256b..d6eb0a8365 100644 --- a/collects/typed-scheme/private/prims.ss +++ b/collects/typed-scheme/private/prims.ss @@ -165,9 +165,9 @@ This file defines two sorts of primitives. All of them are provided into any mod ;; and in that case, a `->' on the RHS does not need to be ;; explicitly parenthesized (syntax-case stx (:) - [(: id : first x ... last) + [(: id : x ...) (ormap (lambda (x) (eq? '-> (syntax-e x))) (syntax->list #'(x ...))) - (syntax/loc stx (: id (first x ... last)))] + (syntax/loc stx (: id (x ...)))] [(: id : . more) (syntax/loc stx (: id . more))] [_ stx])) (define (err str . sub)