From 4380d8a399dd04c98989540a8af799561488357c Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Fri, 9 Jan 2009 22:22:24 +0000
Subject: [PATCH] Allow multiple identifier/contract pairs in the same
 contracted form.

svn: r13054

original commit: 0db2eb851a46185f0f09a130f707e1cdd748c50e
---
 collects/mzlib/unit.ss | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/collects/mzlib/unit.ss b/collects/mzlib/unit.ss
index 8509d92..4b68bd6 100644
--- a/collects/mzlib/unit.ss
+++ b/collects/mzlib/unit.ss
@@ -241,15 +241,15 @@
              (x
               (identifier? #'x)
               (loop (cdr sig-exprs) (cons #'x bindings) val-defs stx-defs (cons #f ctcs)))
-             ((x y z)
+             ((x (y z) ...)
               (and (identifier? #'x)
                    (module-identifier=? #'x #'contracted)
-                   (identifier? #'y))
+                   (andmap identifier? (syntax->list #'(y ...))))
               (loop (cdr sig-exprs)
-                    (cons #'y bindings)
+                    (append (syntax->list #'(y ...)) bindings)
                     val-defs
                     stx-defs
-                    (cons #'z ctcs)))
+                    (append (syntax->list #'(z ...)) ctcs)))
              ((x . y)
               (and (identifier? #'x)
                    (or (module-identifier=? #'x #'define-values)