blob: c9b5781617e571f30e2a2df6eb4391d7481ae5af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(* TEST
ocamlopt_flags += " -O3 "
*)
exception E
let main () =
let l = lazy (raise E) in
begin try Lazy.force_val l with
| E -> ()
end;
begin try Lazy.force_val l with
| Lazy.Undefined -> ()
end;
let d = Domain.spawn (fun () ->
begin try Lazy.force_val l with
| Lazy.Undefined -> ()
end)
in
Domain.join d;
print_endline "OK"
let _ = main ()
|