Update Tagged.can_have_tag in light of #529

dfinity · Sep 24, 2019 · 1b0de8f · 1b0de8f
1 parent 5cf475b
commit 1b0de8f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/codegen/compile.ml b/src/codegen/compile.ml
@@ -1178,15 +1178,15 @@ module Tagged = struct
     | Array ->
       begin match normalize ty with
       | (Con _ | Any) -> true
-      | (Array _ | Tup _ | Obj _) -> true
-      | (Prim _ | Opt _ | Variant _ | Func _ | Non) -> false
+      | (Array _ | Tup _) -> true
+      | (Prim _ |  Obj _ | Opt _ | Variant _ | Func _ | Non) -> false
       | (Pre | Async _ | Mut _ | Var _ | Typ _) -> assert false
       end
     | Text ->
       begin match normalize ty with
       | (Con _ | Any) -> true
-      | (Prim Text | Obj _) -> true
-      | (Prim _ | Array _ | Tup _ | Opt _ | Variant _ | Func _ | Non) -> false
+      | (Prim Text) -> true
+      | (Prim _ | Obj _ | Array _ | Tup _ | Opt _ | Variant _ | Func _ | Non) -> false
       | (Pre | Async _ | Mut _ | Var _ | Typ _) -> assert false
       end
     | Object ->