File: test_list_allocation.ml

package info (click to toggle)
janest-base 0.17.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 3,632 kB
  • sloc: ml: 48,653; ansic: 281; javascript: 126; makefile: 14
file content (22 lines) | stat: -rw-r--r-- 635 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
open! Base
open Expect_test_helpers_core

let%expect_test "is_prefix does not allocate" =
  let list = Sys.opaque_identity [ 1; 2; 3 ] in
  let prefix = Sys.opaque_identity [ 1; 2 ] in
  let equal = Int.equal in
  let (_ : bool) =
    require_no_allocation [%here] (fun () -> List.is_prefix list ~equal ~prefix)
  in
  [%expect {| |}]
;;

let%expect_test "is_suffix does not allocate" =
  let list = Sys.opaque_identity [ 1; 2; 3 ] in
  let suffix = Sys.opaque_identity [ 2; 3 ] in
  let equal = Int.equal in
  let (_ : bool) =
    require_no_allocation [%here] (fun () -> List.is_suffix list ~equal ~suffix)
  in
  [%expect {| |}]
;;