blob: df9027181d696f0203989e24e638f02aee2649e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
- : unit = ()
val f : unit -> 'a = <fun>
Line 1, characters 11-15:
1 | let g () = f (); 1;;
^^^^
Warning 21 [nonreturning-statement]: this statement never returns (or has an unsound type.)
val g : unit -> int = <fun>
Exception: Not_found.
Raised at f in file "//toplevel//", line 2, characters 11-26
Called from g in file "//toplevel//", line 1, characters 11-15
Called from Topeval.load_lambda in file "toplevel/byte/topeval.ml", line 89, characters 4-14
|