From b337cb6015352e042bf89ad564aa60374ac29530 Mon Sep 17 00:00:00 2001 From: Mark Shinwell Date: Sun, 31 Jul 2022 08:43:03 +0100 Subject: [PATCH] flambda-backend: Fix build_upstream for PR749 (#750) Fix build_upstream for Pisint --- middle_end/convert_primitives.ml | 2 +- middle_end/internal_variable_names.ml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/middle_end/convert_primitives.ml b/middle_end/convert_primitives.ml index 1bb9a995099..4526c2b4f04 100644 --- a/middle_end/convert_primitives.ml +++ b/middle_end/convert_primitives.ml @@ -85,7 +85,7 @@ let convert (prim : Lambda.primitive) : Clambda_primitives.primitive = | Parraysetu kind -> Parraysetu kind | Parrayrefs kind -> Parrayrefs kind | Parraysets kind -> Parraysets kind - | Pisint -> Pisint + | Pisint _ -> Pisint | Pisout -> Pisout | Pcvtbint (src, dest, m) -> Pcvtbint (src, dest, m) | Pnegbint (bi,m) -> Pnegbint (bi,m) diff --git a/middle_end/internal_variable_names.ml b/middle_end/internal_variable_names.ml index 76a4835157f..5b48a3eed68 100644 --- a/middle_end/internal_variable_names.ml +++ b/middle_end/internal_variable_names.ml @@ -380,7 +380,7 @@ let of_primitive : Lambda.primitive -> string = function | Parrayrefs _ -> parrayrefs | Parraysets _ -> parraysets | Pctconst _ -> pctconst - | Pisint -> pisint + | Pisint _ -> pisint | Pisout -> pisout | Pbintofint _ -> pbintofint | Pintofbint _ -> pintofbint @@ -488,7 +488,7 @@ let of_primitive_arg : Lambda.primitive -> string = function | Parrayrefs _ -> parrayrefs_arg | Parraysets _ -> parraysets_arg | Pctconst _ -> pctconst_arg - | Pisint -> pisint_arg + | Pisint _ -> pisint_arg | Pisout -> pisout_arg | Pbintofint _ -> pbintofint_arg | Pintofbint _ -> pintofbint_arg