correct translation of shard call_conv (#650)

dfinity · Sep 12, 2019 · 9328732 · 9328732
1 parent 8e3e386
commit 9328732
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ir_passes/async.ml b/src/ir_passes/async.ml
@@ -369,7 +369,6 @@ module Transform() = struct
             | T.Tup [] ->
               FuncE (x, cc, t_typ_binds typbinds, t_args args, List.map t_typ typT, t_exp exp)
             | T.Async res_typ ->
-              let cc' = Call_conv.message_cc (cc.Call_conv.n_args + 1) in
               let res_typ = t_typ res_typ in
               let reply_typ = replyT nary res_typ in
               let r = fresh_var "r" reply_typ in
@@ -389,6 +388,7 @@ module Transform() = struct
                   t_exp cps -*- k
                 | _ -> assert false
               in
+              let cc' = Call_conv.message_cc (List.length args') in
               FuncE (x, cc', typbinds', args', [], exp')
             | _ -> assert false
           end