File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -92,7 +92,7 @@ type texp_function_identifier = {
92
92
ret_sort : Jkind .sort ;
93
93
region : bool ;
94
94
ret_mode : Alloc .l ;
95
- zero_alloc : Builtin_attributes .check_attribute ;
95
+ zero_alloc : Builtin_attributes .zero_alloc_attribute ;
96
96
}
97
97
98
98
let texp_function_cases_identifier_defaults =
@@ -119,7 +119,7 @@ let texp_function_defaults =
119
119
ret_sort = Jkind.Sort. value;
120
120
ret_mode = Alloc. disallow_right Alloc. legacy;
121
121
region = false ;
122
- zero_alloc = Builtin_attributes. Default_check ;
122
+ zero_alloc = Builtin_attributes. Default_zero_alloc ;
123
123
}
124
124
125
125
let mkTexp_function ?(id = texp_function_defaults)
@@ -401,7 +401,7 @@ let mk_value_description ~val_type ~val_kind ~val_attributes =
401
401
val_loc = Location. none;
402
402
val_attributes;
403
403
val_uid = Uid. internal_not_actually_unique;
404
- val_zero_alloc = Default_check ;
404
+ val_zero_alloc = Default_zero_alloc ;
405
405
}
406
406
407
407
let mkTtyp_any = Ttyp_var (None , None )
You can’t perform that action at this time.
0 commit comments