@@ -102,7 +102,7 @@ let clambda_arity (func : Flambda.function_declaration) : Clambda.arity =
102
102
{
103
103
function_kind = Curried {nlocal} ;
104
104
params_layout = List. map Parameter. kind func.params ;
105
- return_layout = assert false ; (* Need func.return *)
105
+ return_layout = Lambda. layout_top ; (* Need func.return *)
106
106
}
107
107
108
108
let check_field t ulam pos named_opt : Clambda.ulambda =
@@ -277,8 +277,8 @@ let rec to_clambda t env (flam : Flambda.t) : Clambda.ulambda =
277
277
to_clambda_direct_apply t func args direct_func probe dbg reg_close mode env
278
278
| Apply { func; args; kind = Indirect ; probe = None ; dbg; reg_close; mode } ->
279
279
let callee = subst_var env func in
280
- let args_layout = assert false in
281
- let result_layout = assert false in
280
+ let args_layout = List. map ( fun _ -> Lambda. layout_top) args in
281
+ let result_layout = Lambda. layout_top in
282
282
Ugeneric_apply (check_closure t callee (Flambda. Expr (Var func)),
283
283
subst_vars env args, args_layout, result_layout, (reg_close, mode), dbg)
284
284
| Apply { probe = Some {name} ; _ } ->
@@ -360,8 +360,8 @@ let rec to_clambda t env (flam : Flambda.t) : Clambda.ulambda =
360
360
in
361
361
Uassign (id, subst_var env new_value)
362
362
| Send { kind; meth; obj; args; dbg; reg_close; mode } ->
363
- let args_layout = assert false in
364
- let result_layout = assert false in
363
+ let args_layout = List. map ( fun _ -> Lambda. layout_top) args in
364
+ let result_layout = Lambda. layout_top in
365
365
Usend (kind, subst_var env meth, subst_var env obj,
366
366
subst_vars env args, args_layout, result_layout, (reg_close,mode), dbg)
367
367
| Region body ->
0 commit comments