blob: 3b1e163a06360e1ab7579f3b692f41ef7912474e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
- : 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
|
