diff options
| author | Roy Frostig <[email protected]> | 2010-07-12 17:03:27 -0700 |
|---|---|---|
| committer | Roy Frostig <[email protected]> | 2010-07-15 12:30:46 -0700 |
| commit | 44d719d5fb246bfdfc9a83af2a43d79428319b47 (patch) | |
| tree | 7598bee957ee6486546152bf9cff925d67a258d3 /src/boot | |
| parent | Minimize pointless logging during walk. (diff) | |
| download | rust-44d719d5fb246bfdfc9a83af2a43d79428319b47.tar.xz rust-44d719d5fb246bfdfc9a83af2a43d79428319b47.zip | |
Make the call args referent type always have a closure word (non-optional, null in case of no closure) in preparation for shifting it inward from its current position at end-of-call-tup.
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 _ = [| |