testsuite/tests/flambda/gpr2239.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

(* TEST
   * flambda
   * native
*)

let do_something () =
  Printf.printf "Hello world\n%!"; Ok ()
[@@inline never]

let f x =
  match do_something () with
  | Ok () -> x
  | Error r -> let _ = !r in x
[@@inline never]

let () = f ()