From 10735f4a3598113cb7714afad4f9146badcf0181 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 31 Jul 2008 19:26:46 +0000
Subject: [PATCH] Allow ... rest variables to be used as lists. Bind Values as
 a type.

svn: r11010

original commit: fa857a40acbb475ca2c2ab3b40d02c547d798129
---
 collects/typed-scheme/private/base-types.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/typed-scheme/private/base-types.ss b/collects/typed-scheme/private/base-types.ss
index 1790b12b..c36c4ca1 100644
--- a/collects/typed-scheme/private/base-types.ss
+++ b/collects/typed-scheme/private/base-types.ss
@@ -82,7 +82,7 @@
   
   
   -> U mu Un All Opaque Vectorof
-  Parameter Tuple Class
+  Parameter Tuple Class Values
   )  
 
 (provide-extra-tnames)