diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/semant.ml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 9bf3b964..2672aee9 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -2041,13 +2041,12 @@ let call_args_referent_type (closure:Il.referent_ty option) : Il.referent_ty = let indirect_arg_rtys = + (* Abi.indirect_args_elt_closure *) match closure with - None -> [| |] + None -> + [| word_rty cx.ctxt_abi |] | Some c -> - [| - (* Abi.indirect_args_elt_closure *) - Il.ScalarTy (Il.AddrTy c) - |] + [| Il.ScalarTy (Il.AddrTy c) |] in let iterator_arg_rtys _ = [| |