more tests

Author: bobzhang

jscomp/test/more_poly_variant_test.js

@@ -61,10 +61,31 @@ function f1(param) {
   }
 }
 
+function f2(x) {
+  if (typeof x === "number") {
+    if (x >= 616641298) {
+      if (x >= 936370362) {
+        console.log(x);
+        return 2;
+      } else {
+        return 3;
+      }
+    } else if (x >= 104) {
+      return 2;
+    } else {
+      return 333;
+    }
+  } else {
+    console.log(x);
+    return 2;
+  }
+}
+
 exports.map = map;
 exports.split_cases = split_cases;
 exports.f = f;
 exports.g1 = g1;
 exports.g = g;
 exports.f1 = f1;
+exports.f2 = f2;
 /* No side effect */

jscomp/test/more_poly_variant_test.ml

@@ -30,4 +30,13 @@ let rec map f : 'a vlist -> 'b vlist = function
 
  let f1 = function
  | `As -> "A"
- | #abc -> "other" ;;
+ | #abc -> "other" ;;
+
+type myvariant2 = [`Tag3 of int | `Tag4 | myvariant] 
+type x = [`a | `b | `c ]
+let f2 x = 
+  match x with 
+  | #myvariant2 as x -> Js.log x ; 2 
+  | `hello -> 3 
+  | `h -> 2 
+  | #x -> 333