From 4010a39c2d177f56c79ca561f02b00bc082d9bdd Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Wed, 18 Jun 2008 12:57:52 -0400 Subject: [PATCH] * Should have used star (bound in syntax-case), not just * in type-of-formals * I'm pretty sure ann should never get a starred or dotted type, since those can't appear outside of an arrow context. --- collects/typed-scheme/private/prims.ss | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.ss index 983ec78e38..b9fdfe2e4f 100644 --- a/collects/typed-scheme/private/prims.ss +++ b/collects/typed-scheme/private/prims.ss @@ -114,7 +114,7 @@ This file defines two sorts of primitives. All of them are provided into any mod [([var : ty] ...) (quasisyntax/loc stx (ty ...))] [([var : ty] ... . [rest : rest-ty star]) (eq? '* (syntax-e #'star)) - (syntax/loc stx (ty ... rest-ty *))] + (syntax/loc stx (ty ... rest-ty star))] [([var : ty] ... . [rest : rest-ty ddd bound]) (eq? '... (syntax-e #'ddd)) (syntax/loc stx (ty ... rest-ty ddd bound))] @@ -149,15 +149,7 @@ This file defines two sorts of primitives. All of them are provided into any mod [(_ arg : ty) (syntax-property #'arg 'type-ascription #'ty)] [(_ arg ty) - (syntax-property #'arg 'type-ascription #'ty)] - [(_ arg ty star) - (eq? '* (syntax-e #'star)) - (syntax-property #'arg 'type-ascription #'ty)] - [(_ arg ty ddd bound) - (eq? '... (syntax-e #'ddd)) - (syntax-property (syntax-property #'arg 'type-ascription #'ty) - 'type-dotted - #'bound)])) + (syntax-property #'arg 'type-ascription #'ty)])) (define-syntax (: stx) (let ([stx*