From 5d73d8eae257651d45e1cb84abc74e6b854d3689 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 3 Mar 2009 21:53:26 +0000
Subject: [PATCH] fix make-arr

svn: r13926

original commit: 0eda7878d5b7e7b9cbaac8db4794cc5cd94ecfdd
---
 collects/typed-scheme/types/type-abbrev.ss | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/typed-scheme/types/type-abbrev.ss b/collects/typed-scheme/types/type-abbrev.ss
index de6aee28..432f4e1d 100644
--- a/collects/typed-scheme/types/type-abbrev.ss
+++ b/collects/typed-scheme/types/type-abbrev.ss
@@ -154,12 +154,12 @@
                 #:filters [filters -no-lfilter] #:object [obj -no-lobj])
   (c:->* ((listof Type/c) Type/c)
          (#:rest Type/c 
-          #:drest (cons/c symbol? Type/c)
+          #:drest (cons/c Type/c symbol?)
           #:kws (listof Keyword?)
           #:filters LFilterSet?
           #:object LatentObject?)
          arr?)
-  (make-arr dom (-result rng filters obj) rest drest (sort #:key Keyword-kw kws keyword<?)))
+  (make-arr dom (-values (list (-result rng filters obj))) rest drest (sort #:key Keyword-kw kws keyword<?)))
 
 (define-syntax ->*
   (syntax-rules (:)