update output

compiler/core/lam_compile.ml

@@ -1564,17 +1564,20 @@ let compile output_prefix =
             Immutable
         in
 
-        let else_ = S.throw_stmt block_expr in
+        let else_ =
+          if !Clflags.no_assert_false then S.exp E.undefined
+          else S.throw_stmt block_expr
+        in
 
         let result =
           Js_output.make
             [S.if_ v block ~else_:[else_]]
             ~value:E.undefined ~output_finished:False
         in
-        let _a =
-          if !Clflags.no_assert_false then Js_output.make block else result
-        in
-        _a
+        (* let _a = *)
+        (*   if !Clflags.no_assert_false then Js_output.make block else result *)
+        (* in *)
+        result
       | {value = None} -> assert false)
     | {primitive = Praise; args = [e]; _} -> (
       match

lib/es6/Belt_internalAVLset.js

@@ -355,11 +355,14 @@ function checkInvariantInternal(_v) {
     }
     let l = v.l;
     let r = v.r;
-    (
+    let diff = (
       l !== undefined ? l.h : 0
     ) - (
       r !== undefined ? r.h : 0
     ) | 0;
+    if (!(diff <= 2 && diff >= -2)) {
+
+    }
     checkInvariantInternal(l);
     _v = r;
     continue;

lib/es6/Belt_internalAVLtree.js

@@ -556,7 +556,10 @@ function checkInvariantInternal(_v) {
     }
     let l = v.l;
     let r = v.r;
-    treeHeight(l) - treeHeight(r) | 0;
+    let diff = treeHeight(l) - treeHeight(r) | 0;
+    if (!(diff <= 2 && diff >= -2)) {
+
+    }
     checkInvariantInternal(l);
     _v = r;
     continue;

lib/js/Belt_internalAVLset.js

@@ -355,11 +355,14 @@ function checkInvariantInternal(_v) {
     }
     let l = v.l;
     let r = v.r;
-    (
+    let diff = (
       l !== undefined ? l.h : 0
     ) - (
       r !== undefined ? r.h : 0
     ) | 0;
+    if (!(diff <= 2 && diff >= -2)) {
+
+    }
     checkInvariantInternal(l);
     _v = r;
     continue;

lib/js/Belt_internalAVLtree.js

@@ -556,7 +556,10 @@ function checkInvariantInternal(_v) {
     }
     let l = v.l;
     let r = v.r;
-    treeHeight(l) - treeHeight(r) | 0;
+    let diff = treeHeight(l) - treeHeight(r) | 0;
+    if (!(diff <= 2 && diff >= -2)) {
+
+    }
     checkInvariantInternal(l);
     _v = r;
     continue;