add tests for inlined record of pattern matching

Author: mununki

jscomp/test/record_regression.js

@@ -60,6 +60,96 @@ function setAA(ao) {
         };
 }
 
+var ir0 = {
+  TAG: /* V0 */0,
+  x0: "v0",
+  x3: 3
+};
+
+var ir1 = {
+  TAG: /* V0 */0,
+  x0: "v0",
+  x1: "v1",
+  x3: 3
+};
+
+var ir2 = {
+  TAG: /* V0 */0,
+  x0: "v0",
+  x1: "v1",
+  x2: 2,
+  x3: 3
+};
+
+var pm0;
+
+pm0 = ir0.TAG === /* V0 */0 ? [
+    "v0",
+    3
+  ] : [
+    "v0",
+    undefined
+  ];
+
+var pm1;
+
+pm1 = ir1.TAG === /* V0 */0 ? [
+    "v0",
+    "v1",
+    3
+  ] : [
+    "v0",
+    undefined,
+    "v1"
+  ];
+
+var pm2;
+
+pm2 = ir2.TAG === /* V0 */0 ? [
+    "v0",
+    "v1",
+    2,
+    3
+  ] : [
+    "v0",
+    undefined,
+    undefined,
+    "v1"
+  ];
+
+var pm3;
+
+if (ir2.TAG === /* V0 */0) {
+  var x2 = 2;
+  var x1 = "v1";
+  var x0 = "v0";
+  pm3 = Caml_obj.equal(x1, "x1") ? [
+      x0,
+      "x1!",
+      x2,
+      3
+    ] : (
+      x1 !== undefined ? [
+          x0,
+          x1,
+          x2,
+          3
+        ] : [
+          x0,
+          "not existed",
+          x2,
+          3
+        ]
+    );
+} else {
+  pm3 = [
+    "v0",
+    "not existed",
+    undefined,
+    "v1"
+  ];
+}
+
 var f2 = {
   x: 3,
   y: 3,
@@ -104,4 +194,11 @@ exports.po = po;
 exports.setAA = setAA;
 exports.foo1 = foo1;
 exports.foo2 = foo2;
+exports.ir0 = ir0;
+exports.ir1 = ir1;
+exports.ir2 = ir2;
+exports.pm0 = pm0;
+exports.pm1 = pm1;
+exports.pm2 = pm2;
+exports.pm3 = pm3;
 /*  Not a pure module */

jscomp/test/record_regression.res

@@ -109,3 +109,30 @@ let foo2 = Foo({name: "foo", age: 3})
 // should be type error
 // let foo3 = Foo({name: "foo", age: 3, nickname: "hasNoNickname"})
 // let foo4 = Foo({name: "foo", age: "3"})
+
+type inlinedRecord = V0({x0: string, x1?: string, x2?: int, x3: int}) | V1({y0: string, y1: int})
+
+let ir0 = V0({x0: "v0", x3: 3})
+let ir1 = V0({x0: "v0", x1: "v1", x3: 3})
+let ir2 = V0({x0: "v0", x1: "v1", x2: 2, x3: 3})
+
+let pm0 = switch ir0 {
+  | V0({x0, x3}) => (x0, x3)
+  | V1({y0, y1}) => (y0, y1)
+}
+let pm1 = switch ir1 {
+  | V0({x0, x1, x3}) => (x0, x1, x3)
+  | V1({y0, y1}) => (y0, None, y1)
+}
+let pm2 = switch ir2 {
+  | V0({x0, x1, x2, x3}) => (x0, x1, x2, x3)
+  | V1({y0, y1}) => (y0, None, None, y1)
+}
+let pm3 = switch ir2 {
+  | V0({x0, x1, x2, x3}) if x1 == Some("x1") => (x0, "x1!", x2, x3)
+  | V0({x0, x1, x2, x3}) => switch x1 {
+    | Some(x1) => (x0, x1, x2, x3)
+    | None => (x0, "not existed", x2, x3)
+  }
+  | V1({y0, y1}) => (y0, "not existed", None, y1)
+}