add a test for MPR#6468

ocaml · May 4, 2018 · b734672 · b734672
1 parent dd01cab
commit b734672
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 0 deletions.
diff --git a/testsuite/tests/tool-toplevel/ocamltests b/testsuite/tests/tool-toplevel/ocamltests
@@ -1,4 +1,5 @@
 exotic_lists.ml
+pr6468.ml
 pr7060.ml
 pr7751.ml
 strings.ml

diff --git a/testsuite/tests/tool-toplevel/pr6468.compilers.reference b/testsuite/tests/tool-toplevel/pr6468.compilers.reference
@@ -0,0 +1,11 @@
+val f : unit -> 'a = <fun>
+Characters 11-15:
+  let g () = f (); 1;;
+             ^^^^
+Warning 21: this statement never returns (or has an unsound type.)
+val g : unit -> int = <fun>
+Exception: Not_found.
+Raised at file "//toplevel//", line 5, characters 17-26
+Called from file "//toplevel//", line 5, characters -15--11
+Called from file "toplevel/toploop.ml", line 180, characters 17-56
+
diff --git a/testsuite/tests/tool-toplevel/pr6468.ml b/testsuite/tests/tool-toplevel/pr6468.ml
@@ -0,0 +1,7 @@
+(* TEST
+   * toplevel
+*)
+
+let f () = raise Not_found;;
+let g () = f (); 1;;
+g ();;