diff --git a/ocaml/testsuite/tests/unboxed-params/test.ml b/ocaml/testsuite/tests/unboxed-params/test.ml index bf4f669f28f..b7e6e824772 100644 --- a/ocaml/testsuite/tests/unboxed-params/test.ml +++ b/ocaml/testsuite/tests/unboxed-params/test.ml @@ -1,7 +1,4 @@ -(* TEST - * flambda2 - ** native -*) +(* TEST_BELOW *) (* About testing for allocations. @@ -51,7 +48,7 @@ module Nativeints = struct let g t y = let x = Nativeint.add t Nativeint.one in f x y = Nativeint.zero [@@inline never] end -(* Check unboxability of tuples *) +(* Check unboability of tuples *) module Tuples = struct let[@unboxable] f ((x, y)[@unboxable]) = (y, x) [@@inline never] let g (a : int) (b : int) = let x, y = f (a, b) in x = b && y = a [@@inline never] @@ -66,7 +63,7 @@ module Variants = struct | B i -> A i [@@inline never] - let _g i j = + let g i j = (match f (A i) with | B i' -> i = i' | A _ -> false) && @@ -83,6 +80,10 @@ let () = test_allocs "int64s" Int64s.g 0L (- 1L); test_allocs "nativeints" Nativeints.g 0n (- 1n); test_allocs "tuples" Tuples.g 13 42; - (* CR mshinwell: enable once variant support added *) - (* test_allocs "variants" Variants.g 13 42; *) + test_allocs "variants" Variants.g 13 42; () + +(* TEST + * flambda2 + ** native +*)