Add constructor for Null type

lthls · Oct 31, 2024 · 966e54a · 966e54a
1 parent 791f39e
commit 966e54a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/middle_end/flambda2/types/grammar/type_grammar.ml b/middle_end/flambda2/types/grammar/type_grammar.ml
@@ -3194,6 +3194,9 @@ let box_vec128 (t : t) alloc_mode : t =
   | Naked_int32 _ | Naked_int64 _ | Naked_nativeint _ | Rec_info _ | Region _ ->
     Misc.fatal_errorf "Type of wrong kind for [box_vec128]: %a" print t
 
+let null : t =
+  Value (TD.create { non_null = Bottom; is_null = Maybe_null })
+
 let this_tagged_immediate imm : t =
   Value (TD.create_equals (Simple.const (RWC.tagged_immediate imm)))
 

diff --git a/middle_end/flambda2/types/grammar/type_grammar.mli b/middle_end/flambda2/types/grammar/type_grammar.mli
@@ -233,6 +233,8 @@ val any_region : t
 
 val any_rec_info : t
 
+val null : t
+
 val this_tagged_immediate : Targetint_31_63.t -> t
 
 val this_rec_info : Rec_info_expr.t -> t