Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
lthls committed Nov 12, 2024
1 parent 03ee2c8 commit b02d716
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 5 deletions.
4 changes: 2 additions & 2 deletions middle_end/flambda2/from_lambda/closure_conversion.ml
Original file line number Diff line number Diff line change
Expand Up @@ -943,8 +943,8 @@ let close_primitive acc env ~let_bound_ids_with_kinds named
| Punboxed_float_comp (_, _)
| Pstringlength | Pstringrefu | Pstringrefs | Pbyteslength | Pbytesrefu
| Pbytessetu | Pbytesrefs | Pbytessets | Pduparray _ | Parraylength _
| Parrayrefu _ | Parraysetu _ | Parrayrefs _ | Parraysets _ | Pisint _ | Pisnull
| Pisout | Pbintofint _ | Pintofbint _ | Pcvtbint _ | Pnegbint _
| Parrayrefu _ | Parraysetu _ | Parrayrefs _ | Parraysets _ | Pisint _
| Pisnull | Pisout | Pbintofint _ | Pintofbint _ | Pcvtbint _ | Pnegbint _
| Paddbint _ | Psubbint _ | Pmulbint _ | Pdivbint _ | Pmodbint _
| Pandbint _ | Porbint _ | Pxorbint _ | Plslbint _ | Plsrbint _
| Pasrbint _ | Pbintcomp _ | Punboxed_int_comp _ | Pbigarrayref _
Expand Down
3 changes: 2 additions & 1 deletion middle_end/flambda2/simplify/simplify_unary_primitive.ml
Original file line number Diff line number Diff line change
Expand Up @@ -889,7 +889,8 @@ let simplify_mutable_block_load _access_kind ~field:_ ~original_prim dacc
~original_term

(* CR layouts v3: implement a real simplifier. *)
let simplify_is_null dacc ~original_term ~arg:scrutinee ~arg_ty:scrutinee_ty ~result_var =
let simplify_is_null dacc ~original_term ~arg:scrutinee ~arg_ty:scrutinee_ty
~result_var =
simplify_relational_primitive dacc ~original_term ~scrutinee ~scrutinee_ty
~result_var ~make_shape:(fun scrutinee -> T.is_null ~scrutinee)

Expand Down
3 changes: 1 addition & 2 deletions middle_end/flambda2/types/expand_head.ml
Original file line number Diff line number Diff line change
Expand Up @@ -367,8 +367,7 @@ let expand_head_of_alias_type env kind
ET.create_naked_nativeint (TG.Head_of_kind_naked_nativeint.create i)
| Naked_vec128 i ->
ET.create_naked_vec128 (TG.Head_of_kind_naked_vec128.create i)
| Null ->
ET.create_value TG.Head_of_kind_value.null)
| Null -> ET.create_value TG.Head_of_kind_value.null)
~name

let expand_head0 env ty ~known_canonical_simple_at_in_types_mode =
Expand Down

0 comments on commit b02d716

Please sign in to comment.