add a test case

Author: Hongbo Zhang

jscomp/test/.depend

@@ -26,6 +26,8 @@ a_string_test.cmo : mt.cmo ../stdlib/list.cmi ext_string.cmo
 a_string_test.cmx : mt.cmx ../stdlib/list.cmx ext_string.cmx
 abstract_type.cmo : abstract_type.cmi
 abstract_type.cmx : abstract_type.cmi
+and_or_tailcall_test.cmo : mt.cmo
+and_or_tailcall_test.cmx : mt.cmx
 ari_regress_test.cmo : mt.cmo ari_regress_test.cmi
 ari_regress_test.cmx : mt.cmx ari_regress_test.cmi
 arith_lexer.cmo : ../stdlib/lexing.cmi arith_syntax.cmo arith_parser.cmo
@@ -390,6 +392,8 @@ a_string_test.cmo : mt.cmo ../stdlib/list.cmi ext_string.cmo
 a_string_test.cmj : mt.cmj ../stdlib/list.cmj ext_string.cmj
 abstract_type.cmo : abstract_type.cmi
 abstract_type.cmj : abstract_type.cmi
+and_or_tailcall_test.cmo : mt.cmo
+and_or_tailcall_test.cmj : mt.cmj
 ari_regress_test.cmo : mt.cmo ari_regress_test.cmi
 ari_regress_test.cmj : mt.cmj ari_regress_test.cmi
 arith_lexer.cmo : ../stdlib/lexing.cmi arith_syntax.cmo arith_parser.cmo

jscomp/test/and_or_tailcall_test.d.ts

@@ -0,0 +1,4 @@
+export var f: (b : any, x : any, n : any) => any ;
+export var or_f: (b : any, x : any, n : any) => any ;
+export var suites: any ;
+

jscomp/test/and_or_tailcall_test.js

@@ -0,0 +1,79 @@
+// Generated CODE, PLEASE EDIT WITH CARE
+'use strict';
+
+var Mt = require("./mt");
+
+function f(b, _, _n) {
+  while(true) {
+    var n = _n;
+    if (n > 100000) {
+      return /* false */0;
+    }
+    else if (b) {
+      _n = n + 1;
+      continue ;
+      
+    }
+    else {
+      return /* false */0;
+    }
+  };
+}
+
+function or_f(b, _, _n) {
+  while(true) {
+    var n = _n;
+    if (n > 100000) {
+      return /* false */0;
+    }
+    else if (b) {
+      return /* true */1;
+    }
+    else {
+      _n = n + 1;
+      continue ;
+      
+    }
+  };
+}
+
+var suites_001 = [
+  /* tuple */0,
+  "and_tail",
+  function () {
+    return [
+            /* Eq */0,
+            /* false */0,
+            f(/* true */1, 1, 0)
+          ];
+  }
+];
+
+var suites_002 = [
+  /* :: */0,
+  [
+    /* tuple */0,
+    "or_tail",
+    function () {
+      return [
+              /* Eq */0,
+              /* false */0,
+              or_f(/* false */0, 1, 0)
+            ];
+    }
+  ],
+  /* [] */0
+];
+
+var suites = [
+  /* :: */0,
+  suites_001,
+  suites_002
+];
+
+Mt.from_pair_suites("and_or_tailcall_test.ml", suites);
+
+exports.f      = f;
+exports.or_f   = or_f;
+exports.suites = suites;
+/*  Not a pure module */

jscomp/test/and_or_tailcall_test.ml

@@ -0,0 +1,18 @@
+let rec f b x n = 
+  if n > 100000 then false
+  else b && f b x (n + 1)
+
+
+let rec or_f b x n = 
+  if n > 100000 then false
+  else b || or_f b x (n + 1)
+
+
+
+let suites = Mt.[
+    (* becareful inlining will defeat the test purpose here *)    
+    "and_tail", (fun _ -> Eq(false, f true 1 0 ));
+    "or_tail", (fun _ -> Eq(false, or_f false 1 0 ));
+]
+
+;; Mt.from_pair_suites __FILE__ suites

jscomp/test/test.mllib

@@ -159,4 +159,6 @@ regression_print
 global_exception_regression_test
 printf_test
 format_regression
-loop_regression_test
+loop_regression_test
+and_or_tailcall_test
+