Skip to content

Commit

Permalink
Revert "Tweak test"
Browse files Browse the repository at this point in the history
This reverts commit 775645a.
  • Loading branch information
mshinwell committed Feb 29, 2024
1 parent 39f407e commit 8111317
Showing 1 changed file with 9 additions and 8 deletions.
17 changes: 9 additions & 8 deletions ocaml/testsuite/tests/unboxed-params/test.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,4 @@
(* TEST
* flambda2
** native
*)
(* TEST_BELOW *)

(* About testing for allocations.
Expand Down Expand Up @@ -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]
Expand All @@ -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) &&
Expand All @@ -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
*)

0 comments on commit 8111317

Please sign in to comment.