From 4765d1e358b86ea118c3aae0ff3b01bebbf9b5cb Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 30 Jun 2010 15:26:34 -0700
Subject: [PATCH] Fix another type bug I introduced yesterday; found through
 wondrous logging technology.

---
 src/boot/me/type.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 2a208db7043..0d4081af3dc 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -522,7 +522,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
               let rec unify ty =
                 match ty with
                     Ast.TY_tup (elem_tys:Ast.ty array) ->
-                      if (Array.length elem_tys) <> (Array.length tvs)
+                      if (Array.length elem_tys) < (Array.length tvs)
                       then fail ()
                       else
                         let check_elem i tv =