diff options
Diffstat (limited to 'src/boot/me/trans.ml')
| -rw-r--r-- | src/boot/me/trans.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 = |