blob: fba56c934c20f131995681e77dcef4944449fb9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(* TEST
flags = " -w +A -strict-sequence "
* expect
*)
(* Ignore OCAMLRUNPARAM=b to be reproducible *)
Printexc.record_backtrace false;;
[%%expect {|
- : unit = ()
|}]
let () = raise Exit; () ;; (* warn *)
[%%expect {|
Line 1, characters 9-19:
1 | let () = raise Exit; () ;; (* warn *)
^^^^^^^^^^
Warning 21 [nonreturning-statement]: this statement never returns (or has an unsound type.)
Exception: Stdlib.Exit.
|}]
|