edge cases

Author: Hongbo Zhang

jscomp/test/.depend

@@ -334,6 +334,8 @@ js_obj_test.cmj : mt.cmi
 js_obj_test.cmx : mt.cmx
 js_val.cmj :
 js_val.cmx :
+jsoo_400_test.cmj : ../stdlib/string.cmi
+jsoo_400_test.cmx : ../stdlib/string.cmx
 jsoo_485.cmj :
 jsoo_485.cmx :
 jsoo_485_test.cmj :
@@ -1090,6 +1092,8 @@ js_obj_test.cmo : mt.cmi
 js_obj_test.cmj : mt.cmj
 js_val.cmo :
 js_val.cmj :
+jsoo_400_test.cmo : ../stdlib/string.cmi
+jsoo_400_test.cmj : ../stdlib/string.cmj
 jsoo_485.cmo :
 jsoo_485.cmj :
 jsoo_485_test.cmo :

jscomp/test/Makefile

@@ -59,7 +59,7 @@ OTHERS := a test_ari test_export2 test_internalOO test_obj_simple_ffi test_scope
 	optional_ffi_test poly_variant_test \
 	bs_rest_test infer_type_test fs_test module_as_function\
 	test_case_set test_mutliple string_bound_get_test inline_string_test\
-	ppx_this_obj_test unsafe_obj_external gpr_627_test jsoo_485_test	
+	ppx_this_obj_test unsafe_obj_external gpr_627_test jsoo_485_test jsoo_400_test	
 
 
 SOURCE_LIST := js_dyn $(OTHERS) 

jscomp/test/jsoo_400_test.js

@@ -0,0 +1,22 @@
+'use strict';
+
+var Caml_int32 = require("../../lib/js/caml_int32");
+
+function u() {
+  var exit = 0;
+  var n;
+  try {
+    n = 3;
+    exit = 1;
+  }
+  catch (exn){
+    return 42;
+  }
+  if (exit === 1) {
+    return Caml_int32.div(3, 0);
+  }
+  
+}
+
+exports.u = u;
+/* No side effect */

jscomp/test/jsoo_400_test.ml

@@ -0,0 +1,4 @@
+let u () =
+  match String.length "123" with
+  | n -> 3 / 0
+  | exception _ -> 42