fixes

middle_end/flambda2/from_lambda/closure_conversion.ml

@@ -512,8 +512,7 @@ let close_c_call acc env ~loc ~let_bound_ids_with_kinds
     | _, Same_as_ocaml_repr _ -> None
     | _, Unboxed_float Pfloat64 -> Some (P.Box_number (Naked_float, alloc_mode))
     | _, Unboxed_float Pfloat32 ->
-      (* CR mslater: (float32) middle end support *)
-      assert false
+      Some (P.Box_number (Naked_float32, alloc_mode))
     | _, Unboxed_integer Pnativeint ->
       Some (P.Box_number (Naked_nativeint, alloc_mode))
     | _, Unboxed_integer Pint32 -> Some (P.Box_number (Naked_int32, alloc_mode))

middle_end/flambda2/from_lambda/lambda_to_flambda_primitives.ml

@@ -142,6 +142,7 @@ let convert_array_kind_for_length kind : P.Array_kind_for_length.t =
   | Float_array_opt_dynamic -> Float_array_opt_dynamic
 
 module Array_ref_kind = struct
+  (* CR mslater: (float32) arrays *)
   type t =
     | Immediates
     | Values

middle_end/flambda2/simplify/unboxing/unboxers.ml

@@ -69,7 +69,7 @@ module Float32 = struct
       invalid_const =
         Const.naked_float32 Numeric_types.Float32_by_bit_pattern.zero;
       unboxing_prim;
-      prove_simple = T.meet_boxed_float_containing_simple
+      prove_simple = T.meet_boxed_float32_containing_simple
     }
 end
 

middle_end/flambda2/types/flambda2_types.mli

@@ -695,6 +695,9 @@ val prove_tagging_of_simple :
 val meet_tagging_of_simple :
   Typing_env.t -> min_name_mode:Name_mode.t -> t -> Simple.t meet_shortcut
 
+val meet_boxed_float32_containing_simple :
+  Typing_env.t -> min_name_mode:Name_mode.t -> t -> Simple.t meet_shortcut
+
 val meet_boxed_float_containing_simple :
   Typing_env.t -> min_name_mode:Name_mode.t -> t -> Simple.t meet_shortcut
 

middle_end/flambda2/types/grammar/more_type_creators.ml

@@ -84,7 +84,7 @@ let any_tagged_bool = these_tagged_immediates Targetint_31_63.all_bools
 let any_naked_bool = TG.these_naked_immediates Targetint_31_63.all_bools
 
 let this_boxed_float32 f alloc_mode =
-  TG.box_float (TG.this_naked_float32 f) alloc_mode
+  TG.box_float32 (TG.this_naked_float32 f) alloc_mode
 
 let this_boxed_float f alloc_mode =
   TG.box_float (TG.this_naked_float f) alloc_mode
@@ -117,7 +117,7 @@ let these_boxed_nativeints is alloc_mode =
   TG.box_nativeint (these_naked_nativeints is) alloc_mode
 
 let any_boxed_float32 =
-  TG.box_float TG.any_naked_float32 (Alloc_mode.For_types.unknown ())
+  TG.box_float32 TG.any_naked_float32 (Alloc_mode.For_types.unknown ())
 
 let any_boxed_float =
   TG.box_float TG.any_naked_float (Alloc_mode.For_types.unknown ())

middle_end/flambda2/types/grammar/type_grammar.ml

@@ -3066,7 +3066,7 @@ let get_tag_for_block ~block : t =
   Naked_immediate (TD.create (Get_tag (alias_type_of K.value block)))
 
 let boxed_float32_alias_to ~naked_float32 =
-  box_float (Naked_float32 (TD.create_equals (Simple.var naked_float32)))
+  box_float32 (Naked_float32 (TD.create_equals (Simple.var naked_float32)))
 
 let boxed_float_alias_to ~naked_float =
   box_float (Naked_float (TD.create_equals (Simple.var naked_float)))