From a61e85ca348e1c024b694b61be22ce3e7809d1d8 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 1 Jul 2010 10:09:04 -0700
Subject: Simplify types before analyzing call structure; 2 more tests compile.

---
 src/boot/me/trans.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/boot/me/trans.ml')

diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index 4b6eb19b..830cf1ee 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -3376,7 +3376,7 @@ let trans_visitor
             (oper_str operand)
 
   and ty_arg_slots (ty:Ast.ty) : Ast.slot array =
-    match ty with
+    match simplified_ty ty with
         Ast.TY_fn (tsig, _) -> tsig.Ast.sig_input_slots
       | _ -> bug () "Trans.ty_arg_slots on non-callable type: %a"
           Ast.sprintf_ty ty
@@ -4047,7 +4047,7 @@ let trans_visitor
           Some params -> params
         | None -> [| |]
     in
-      match ty with
+      match simplified_ty ty with
           Ast.TY_fn _ ->
             let (dst_cell, _) = trans_lval_maybe_init init dst in
             let fn_ptr =
-- 
cgit v1.2.3