From 1833fa1df24eb546d7bd9d7eb37a579b34779238 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Sun, 4 Jul 2010 16:42:58 -0700 Subject: [PATCH] Fix generic-derived-type.rs and generic-obj-with-derived-type.rs. --- 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 ff1bbd72635..b27e68dc7dc 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1068,7 +1068,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = TYSPEC_dictionary names | Ast.COMP_named (Ast.COMP_idx i) -> - let init j = if i + 1 == j then tv else ref TYSPEC_all in + let init j = if i = j then tv else ref TYSPEC_all in TYSPEC_tuple (Array.init (i + 1) init) | Ast.COMP_atom atom ->