add a few more good to have tests

Author: zth

jscomp/syntax/tests/parsing/grammar/pattern/expected/variantSpreads.res.txt

@@ -53,4 +53,27 @@ let lookupOpt =
          | Some (Four) -> Js.log {js|four|js}
          | Some (Five) -> Js.log {js|five|js}
          | None -> Js.log {js|None|js}))
+  [@res.arity 1])
+module Foo =
+  struct
+    type nonrec zz =
+      | First 
+      | Second 
+    type nonrec xx =
+      | ... of zz 
+      | Third 
+  end
+let doWithZ =
+  ((Function$
+      (fun (z : Foo.zz) ->
+         match z with
+         | First -> Js.log {js|First|js}
+         | Second -> Js.log {js|Second|js}))
+  [@res.arity 1])
+let lookup3 =
+  ((Function$
+      (fun (d : Foo.xx) ->
+         match d with
+         | ((#Foo.zz)[@res.patVariantSpread ]) as z -> Js.log z
+         | Third -> Js.log {js|Third|js}))
   [@res.arity 1])

jscomp/syntax/tests/parsing/grammar/pattern/variantSpreads.res

@@ -39,3 +39,21 @@ let lookupOpt = (b: option<b>) =>
   | Some(Five) => Js.log("five")
   | None => Js.log("None")
   }
+
+
+module Foo = {
+  type zz = First | Second
+  type xx = | ...zz | Third
+}
+
+let doWithZ = (z: Foo.zz) =>
+  switch z {
+  | First => Js.log("First")
+  | Second => Js.log("Second")
+  }
+
+let lookup3 = (d: Foo.xx) =>
+  switch d {
+  | ...Foo.zz as z => Js.log(z)
+  | Third => Js.log("Third")
+  }

tests/tests/src/VariantPatternMatchingSpreads.js

@@ -39,3 +39,20 @@ let lookupOpt = (b: option<b>) =>
   | Some(Five) => Js.log("five")
   | None => Js.log("None")
   }
+
+module Foo = {
+  type zz = First | Second
+  type xx = | ...zz | Third
+}
+
+let doWithZ = (z: Foo.zz) =>
+  switch z {
+  | First => Js.log("First")
+  | Second => Js.log("Second")
+  }
+
+let lookup3 = (d: Foo.xx) =>
+  switch d {
+  | ...Foo.zz as z => Js.log(z)
+  | Third => Js.log("Third")
+  }