From 0085310b4f00a16590fe97b15087cae036bb5cf6 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 10 Jun 2008 16:38:14 -0400 Subject: [PATCH] Use new * syntax in prims. Handle extra tables in infer. original commit: 975f26b93d9372f46960a42915d06702e9be9b49 --- collects/typed-scheme/private/prims.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.ss index 862ad929..2390e0f5 100644 --- a/collects/typed-scheme/private/prims.ss +++ b/collects/typed-scheme/private/prims.ss @@ -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 ()