add tests

Author: bobzhang

jscomp/test/arity_infer.js

@@ -0,0 +1,58 @@
+'use strict';
+
+var Curry = require("../../lib/js/curry.js");
+var Caml_builtin_exceptions = require("../../lib/js/caml_builtin_exceptions.js");
+
+function f0(x) {
+  var tmp;
+  if (x > 3) {
+    tmp = (function (x) {
+        return x + 1 | 0;
+      });
+  } else {
+    throw Caml_builtin_exceptions.not_found;
+  }
+  return tmp(3);
+}
+
+function f1(x) {
+  throw Caml_builtin_exceptions.not_found;
+  return Curry._1(undefined, x);
+}
+
+function f3(x) {
+  var tmp;
+  if (x > 3 || x < 0) {
+    throw Caml_builtin_exceptions.not_found;
+  } else {
+    switch (x) {
+      case 0 : 
+          tmp = (function (x) {
+              return x + 1 | 0;
+            });
+          break;
+      case 1 : 
+          tmp = (function (x) {
+              return x + 2 | 0;
+            });
+          break;
+      case 2 : 
+          tmp = (function (x) {
+              return x + 3 | 0;
+            });
+          break;
+      case 3 : 
+          tmp = (function (x) {
+              return x + 4 | 0;
+            });
+          break;
+      
+    }
+  }
+  return tmp(3);
+}
+
+exports.f0 = f0;
+exports.f1 = f1;
+exports.f3 = f3;
+/* No side effect */

jscomp/test/arity_infer.ml

@@ -0,0 +1,21 @@
+
+
+
+
+let f0 x = 
+  (if x > 3 then fun x -> x + 1 
+  else (raise Not_found)) 3
+
+
+let f1 x =   
+  (raise Not_found : _ -> _ ) x 
+
+
+let f3 x =   
+  (match x with 
+  | 0 -> fun x -> x + 1
+  | 1 -> fun x -> x + 2
+  | 2 -> fun  x -> x + 3
+  | 3 -> fun  x -> x + 4
+  | _ -> raise Not_found
+  ) 3