---

pcwalton · pcwalton · commit 6470fdd34047 · 2010-12-21T15:59:14.000-08:00
yaml --- r: 1130 b: refs/heads/master c: d7cbeba h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 6443179bcab63c440203a321297d32f5b2a2f8e0
+refs/heads/master: d7cbeba731716f176f4c116cfe92f3ec246e1396
diff --git a/trunk/src/boot/me/semant.ml b/trunk/src/boot/me/semant.ml
@@ -2425,7 +2425,7 @@ and referent_type
                 Some parent_tags
                   when boxed
                     && parent_tags <> []
-                    && List.mem ttag parent_tags
+                    && (list_count ttag parent_tags) > 1
                     && is_back_edge ttag (List.hd parent_tags) ->
                   Il.StructTy [| word; Il.OpaqueTy |]
               | _ -> tag ttag
diff --git a/trunk/src/boot/util/common.ml b/trunk/src/boot/util/common.ml
@@ -380,6 +380,13 @@ let rec list_drop n ls =
   else list_drop (n-1) (List.tl ls)
 ;;
 
+let rec list_count elem lst =
+  match lst with
+      [] -> 0
+    | h::t when h = elem -> 1 + (list_count elem t)
+    | _::t -> list_count elem t
+;;
+
 
 (*
  * Auxiliary pair functions.

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 6443179bcab63c440203a321297d32f5b2a2f8e0`
	`2`	`+refs/heads/master: d7cbeba731716f176f4c116cfe92f3ec246e1396`