Minor printing fix

Author: Gbury

middle_end/flambda/from_lambda/cps_conversion.ml

@@ -24,6 +24,15 @@ module I = Ilambda
 module L = Lambda
 module C = Lambda_conversions
 
+module Continuation = struct
+  include Continuation
+
+  let r = ref 0
+  let create ?sort () =
+    let name = Format.asprintf "k%d" (incr r; !r) in
+    create ?sort ~name ()
+end
+
 type primitive_transform_result =
   | Primitive of L.primitive * L.lambda list * L.scoped_location
   | Transformed of L.lambda

middle_end/flambda/unboxing/unboxing_epa.ml

@@ -129,12 +129,12 @@ let extra_args_for_const_ctor_of_variant
   | Zero ->
     begin match variant_arg with
     | Not_a_constant_constructor -> const_ctors_decision
-    | Maybe_constant_constructor _ ->
+    | Maybe_constant_constructor { arg_being_unboxed; _ } ->
       Misc.fatal_errorf
         "The unboxed variant parameter was determined to have \
          no constant cases when deciding to unbox it (using the \
          parameter type), but at the use site, it is a constant \
-         constructor."
+         constructor.@\narg: %a@." _print_unboxed_arg arg_being_unboxed;
     end
   | At_least_one { ctor = Do_not_unbox reason; is_int; } ->
     let is_int =

middle_end/flambda/unboxing/unboxing_types.ml

@@ -44,7 +44,7 @@ module Extra_param_and_args = struct
     Format.fprintf fmt "@[<hv 1>(\
       @[<hov>(param %a)@]@ \
       @[<v 2>(args@ <...>)@]\
-      )"
+      )@]"
       Variable.print param
       (* (Apply_cont_rewrite_id.Map.print EPA.Extra_arg.print) args *)
 end

middle_end/flambda/unboxing/unboxing_types.mli

@@ -72,6 +72,10 @@ and decision =
   | Unbox of unboxing_decision
   | Do_not_unbox of do_not_unbox_reason
 
+val print_decision : Format.formatter -> decision -> unit
+(** Printing function for individual decisions. *)
+
+
 module Decisions : sig
   type t = {
     decisions : (KP.t * decision) list;