extend example

Author: cristianoc

tests/tests/src/and_or_simplify.mjs

@@ -1,24 +1,42 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 
-function check_null_typeof(x) {
+function check_null_eq_typeof(x) {
  if (typeof x !== "boolean" || x !== null) {
  return 4;
  } else {
  return 3;
  }
 }
 
-function check_undefined_typeof(x) {
+function check_null_neq_typeof(x) {
+ if (typeof x !== "boolean" || x === null) {
+ return 4;
+ } else {
+ return 3;
+ }
+}
+
+function check_undefined_eq_typeof(x) {
  if (typeof x !== "boolean" || x !== undefined) {
  return 4;
  } else {
  return 3;
  }
 }
 
+function check_undefined_neq_typeof(x) {
+ if (typeof x !== "boolean" || x === undefined) {
+ return 4;
+ } else {
+ return 3;
+ }
+}
+
 export {
- check_null_typeof,
- check_undefined_typeof,
+ check_null_eq_typeof,
+ check_null_neq_typeof,
+ check_undefined_eq_typeof,
+ check_undefined_neq_typeof,
 }
 /* No side effect */

tests/tests/src/and_or_simplify.res

@@ -1,14 +1,26 @@
 @unboxed
 type t = | @as(null) Null | @as(undefined) Undefined | B(bool) //| S(string)
 
-let check_null_typeof = x =>
+let check_null_eq_typeof = x =>
  switch x {
  | B(_) if x == Null => 3
  | _ => 4
  }
 
-let check_undefined_typeof = x =>
+let check_null_neq_typeof = x =>
+ switch x {
+ | B(_) if x != Null => 3
+ | _ => 4
+ }
+
+let check_undefined_eq_typeof = x =>
  switch x {
  | B(_) if x == Undefined => 3
  | _ => 4
  }
+
+let check_undefined_neq_typeof = x =>
+ switch x {
+ | B(_) if x != Undefined => 3
+ | _ => 4
+ }