File tree Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Original file line number Diff line number Diff line change @@ -1440,9 +1440,12 @@ let primitive_result_layout (p : primitive) =
1440
1440
| Paddfloat _ | Psubfloat _ | Pmulfloat _ | Pdivfloat _
1441
1441
| Pbox_float _ -> layout_float
1442
1442
| Punbox_float -> Punboxed_float
1443
- | Pccall _p ->
1444
- (* CR ncourant: use native_repr *)
1443
+ | Pccall { prim_native_repr_res = _ , Untagged_int ; _} -> layout_int
1444
+ | Pccall { prim_native_repr_res = _ , Unboxed_float ; _} -> layout_float
1445
+ | Pccall { prim_native_repr_res = _ , Same_as_ocaml_repr ; _} ->
1445
1446
layout_any_value
1447
+ | Pccall { prim_native_repr_res = _ , Unboxed_integer bi ; _} ->
1448
+ layout_boxedint bi
1446
1449
| Praise _ -> layout_bottom
1447
1450
| Psequor | Psequand | Pnot
1448
1451
| Pnegint | Paddint | Psubint | Pmulint
You can’t perform that action at this time.
0 commit comments