add a failure test case

Author: bobzhang

jscomp/test/build.ninja

@@ -320,6 +320,7 @@ build test/gpr_405_test.cmj : cc_cmi test/gpr_405_test.ml | test/gpr_405_test.cm
 build test/gpr_405_test.cmi : cc test/gpr_405_test.mli | $stdlib
 build test/gpr_4069_test.cmi test/gpr_4069_test.cmj : cc test/gpr_4069_test.ml | $stdlib
 build test/gpr_4265_test.cmi test/gpr_4265_test.cmj : cc test/gpr_4265_test.ml | test/mt.cmj $stdlib
+build test/gpr_4280_test.cmi test/gpr_4280_test.cmj : cc test/gpr_4280_test.ml | $stdlib
 build test/gpr_441.cmi test/gpr_441.cmj : cc test/gpr_441.ml | $stdlib
 build test/gpr_459_test.cmi test/gpr_459_test.cmj : cc test/gpr_459_test.ml | test/mt.cmj $stdlib
 build test/gpr_627_test.cmi test/gpr_627_test.cmj : cc test/gpr_627_test.ml | test/mt.cmj $stdlib

jscomp/test/gpr_4280_test.js

@@ -0,0 +1,96 @@
+'use strict';
+
+var Caml_builtin_exceptions = require("../../lib/js/caml_builtin_exceptions.js");
+
+var u = {
+  contents: 0
+};
+
+function div(children, param) {
+  for(var i = 0; i <= 1; ++i){
+    u.contents = 300;
+    console.log("nonline");
+  }
+  
+}
+
+function string(s) {
+  for(var i = 0; i <= 1; ++i){
+    u.contents = 200;
+    console.log("no");
+  }
+  
+}
+
+var React = {
+  string: string
+};
+
+function fn(authState, route) {
+  var exit = 0;
+  var onboardingRoute;
+  if (typeof authState === "number") {
+    if (typeof route === "number") {
+      if (route >= -730831382) {
+        if (!(route !== -384135774 && route !== -384133096)) {
+          exit = 2;
+        }
+        
+      } else if (!(route !== -799423340 && route < -730831383)) {
+        exit = 2;
+      }
+      
+    } else if (route[0] === 378129979) {
+      onboardingRoute = route[1];
+      exit = 1;
+    }
+    div(/* :: */[
+          string("Redirect"),
+          /* [] */0
+        ], undefined);
+    return 3;
+  }
+  if (typeof route !== "number" && route[0] === 378129979) {
+    onboardingRoute = route[1];
+    exit = 1;
+  }
+  console.log(authState[1]);
+  div(/* :: */[
+        string("VerifyEmail"),
+        /* [] */0
+      ], undefined);
+  return 2;
+  switch (exit) {
+    case 1 :
+        console.log(onboardingRoute);
+        div(/* :: */[
+              string("Onboarding"),
+              /* [] */0
+            ], undefined);
+        return 0;
+    case 2 :
+        div(/* :: */[
+              string("LoggedOut"),
+              /* [] */0
+            ], undefined);
+        return 1;
+    
+  }
+}
+
+if (fn(/* Unauthenticated */-54822762, /* Invite */-730831383) !== 1) {
+  throw [
+        Caml_builtin_exceptions.assert_failure,
+        /* tuple */[
+          "gpr_4280_test.ml",
+          40,
+          3
+        ]
+      ];
+}
+
+exports.u = u;
+exports.div = div;
+exports.React = React;
+exports.fn = fn;
+/*  Not a pure module */

jscomp/test/gpr_4280_test.ml

@@ -0,0 +1,40 @@
+
+let u = ref 0
+let div ~children () = 
+  for i = 0 to 1 do   
+    u := 300;  
+    Js.log "nonline"
+  done
+module React = struct 
+  let string (s : string) =   
+    for i = 0 to 1 do 
+      u := 200;
+      Js.log "no"
+    done     
+end     
+let fn authState route =
+  match (authState, route) with
+  | (`Unauthenticated,`Onboarding onboardingRoute)
+  | (`Unverified _,`Onboarding onboardingRoute) ->
+    Js.Console.log onboardingRoute;
+    div
+      ~children:[React.string
+                   "Onboarding"] ();
+      0
+  | (`Unauthenticated,`SignIn)|(`Unauthenticated,`SignUp)
+  |(`Unauthenticated,`Invite)|(`Unauthenticated,`PasswordReset) ->
+    div
+      ~children:[React.string
+                   "LoggedOut"] ();1
+
+  | (`Unverified user,_) ->
+    Js.Console.log user;
+    div
+      ~children:[React.string
+                   "VerifyEmail"] ();
+      2
+  | (`Unauthenticated,_) ->
+    div
+      ~children:[React.string
+                   "Redirect"] ();3
+;; assert (fn (`Unauthenticated) `Invite  = 1 ) (* == 1*)