File tree Expand file tree Collapse file tree 2 files changed +7
-1
lines changed Expand file tree Collapse file tree 2 files changed +7
-1
lines changed Original file line number Diff line number Diff line change @@ -1366,7 +1366,7 @@ let _ =
13661366 ]
13671367 `Mutator
13681368 (fun cx cy cz _ -> J. EBin (J. Eq , Mlvalue.Array. field cx cy, cz));
1369- register_un_prims [ " caml_alloc_dummy" ; " caml_alloc_dummy_float" ] `Pure (fun _ _ ->
1369+ register_un_prims [ " caml_alloc_dummy" ; " caml_alloc_dummy_float" ; " caml_alloc_dummy_mixed " ] `Pure (fun _ _ ->
13701370 J. array [] );
13711371 register_un_prims
13721372 [ " caml_int_of_float"
Original file line number Diff line number Diff line change 135135 (array.new $float_array (f64.const 0 )
136136 (i31.get_u (ref.cast (ref i31) (local.get $size )))))
137137
138+ (func (export " caml_alloc_dummy_mixed" )
139+ (param $size (ref eq)) (param (ref eq)) (result (ref eq))
140+ (array.new $block (ref.i31 (i32.const 0 ))
141+ (i32.add (i31.get_u (ref.cast (ref i31) (local.get $size )))
142+ (i32.const 1 ))))
143+
138144 (func (export " caml_update_dummy" )
139145 (param $dummy (ref eq)) (param $newval (ref eq)) (result (ref eq))
140146 (local $i i32 )
You can’t perform that action at this time.
0 commit comments