testsuite/tests/flambda/gpr2239.ml


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

(* 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 ()