From c3c6131b9e70cca63b72ecca4ceee262a91b6b70 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 20 May 2008 20:42:57 +0000 Subject: [PATCH] Fix handling of rest arg contracts. svn: r9910 --- collects/typed-scheme/private/type-contract.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss index 16b46e15b1..8bc3de2ead 100644 --- a/collects/typed-scheme/private/type-contract.ss +++ b/collects/typed-scheme/private/type-contract.ss @@ -95,7 +95,7 @@ [_ #`(values #,@rngs*)])] [rst* rst]) (if rst - #'(dom* ... #:rest (listof rst*) . -> . rng*) + #'((dom* ...) () #:rest (listof rst*) . ->* . rng*) #'(dom* ... . -> . rng*)))) (match (map f arrs) [(list e) e]