summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-warnings/pr7297.compilers.reference
blob: b892611095db16488beab86641943e0b180b7813 (plain)
1
2
3
4
5
6
7
- : unit = ()
Characters 10-20:
  let () = raise Exit; () ;; (* warn *)
           ^^^^^^^^^^
Warning 21: this statement never returns (or has an unsound type.)
Exception: Stdlib.Pervasives.Exit.