Fix another type bug I introduced yesterday; found through wondrous logging technology.

2010-06-30 15:26:34 -07:00 · 2010-06-30 15:26:34 -07:00 · 4765d1e358
commit 4765d1e358
parent 335053eb68
1 changed files with 1 additions and 1 deletions
--- 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 =