Add extra tests for parsing of conjunctive poly vars

Author: Iwan

tests/oprint/oprint.res

@@ -178,11 +178,11 @@ module type Conjunctive = {
 };
 
 // exotic idents in poly-vars
-type t20 = [#\"type"]
-type t21 = [#\"va r ia nt"]
-type t22 = [#\"Variant ⛰"]
+type t20 = [#"type"]
+type t21 = [#"va r ia nt"]
+type t22 = [#"Variant ⛰"]
 type \"let" = int
-type \"type" = [ #\"Point🗿"(\"let", float) ]
+type \"type" = [ #"Point🗿"(\"let", float) ]
 
 type exoticUser = {
   \"let": string,

tests/parsing/grammar/pattern/__snapshots__/parse.spec.js.snap

@@ -529,7 +529,11 @@ let cmp selectedChoice value =
   | (lazy #a) -> true
   | exception #a -> true
   | _ -> false
-;;match polyVar with | \`ease-in -> () | \`ease-out⛰ -> () | _ -> ()"
+;;match polyVar with
+  | \`ease-in -> ()
+  | \`ease-out⛰ -> ()
+  | \`ease+++ (\`1Blue, \`r+) -> ()
+  | _ -> ()"
 `;
 
 exports[`record.js 1`] = `

tests/parsing/grammar/pattern/polyvariants.js

@@ -102,5 +102,6 @@ let cmp = (selectedChoice, value) =>
 switch polyVar {
 | #"ease-in" => ()
 | #"ease-out⛰" => ()
+| #"ease+++"(#"1Blue", #"r+") => ()
 | _ => ()
 }

tests/parsing/grammar/typexpr/__snapshots__/parse.spec.js.snap

@@ -130,7 +130,19 @@ exports[`poly.js 1`] = `
       Js.t = \\"./src/logger.mock.js\\""
 `;
 
-exports[`polyVariant.res 1`] = `"type nonrec animation = [ \`ease-in  | \`ease-out  | \`never ease ✍️ ]"`;
+exports[`polyVariant.res 1`] = `
+"type nonrec animation = [ \`ease-in  | \`ease-out  | \`never ease ✍️ ]
+module type Conjunctive  =
+  sig
+    type nonrec u1 = [ \`A  | \`B ]
+    type nonrec u2 = [ \`A  | \`B  | \`C ]
+    val f : [< \`T of [< u2]&[< u2]&[< u1] ] -> unit
+    val g : [< \`S of [< u2]&[< u2]&[< u1] ] -> unit
+    val g :
+      [< \`Exotic-S+ of [< \`Exotic-u2+ ]&[< \`Exotic-u2- ]&[< \`Exotic-u1+++ ] ]
+        -> unit
+  end"
+`;
 
 exports[`tuple.js 1`] = `
 "type nonrec t = (string * int)

tests/parsing/grammar/typexpr/polyVariant.res

@@ -3,3 +3,12 @@ type animation = [
   | #"ease-out"
   | #"never ease ✍️"
 ]
+
+module type Conjunctive = {
+  type u1 = [ | #A | #B]
+  type u2 = [ | #A | #B | #C]
+
+  let f: [< | #T([< u2]) & ([< u2]) & ([< u1])] => unit
+  let g: [< | #S&([< u2]) & ([< u2]) & ([< u1])] => unit
+  let g: [< | #"Exotic-S+"&([< #"Exotic-u2+"]) & ([< #"Exotic-u2-"]) & ([< #"Exotic-u1+++"])] => unit
+};

tests/printer/expr/__snapshots__/render.spec.js.snap

@@ -3251,6 +3251,8 @@ let b = #\\"1a\\"
 let c = #a2
 let d = #abcd
 
+#BigBlue(#\\"Shade-of-blue+++\\", #\\"Shade-of-blue---\\")
+
 external openSync: (
   path,
   @bs.string

tests/printer/expr/polyvariant.js

@@ -114,6 +114,8 @@ let b = #"1a"
 let c = #a2
 let d = #abcd
 
+#"BigBlue"(#"Shade-of-blue+++", #"Shade-of-blue---")
+
 external openSync: (
   path,
   @bs.string [

tests/printer/typexpr/__snapshots__/render.spec.js.snap

@@ -647,5 +647,21 @@ type x = [
   | #Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaar
   | #Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaz
 ]
+
+type animation = [#\\"ease-in\\" | #\\"ease-out\\" | #\\"never ease ✍️\\"]
+
+module type Conjunctive = {
+  type u1 = [#A | #B]
+  type u2 = [#A | #B | #C]
+
+  let f: [< #T([< u2]) & ([< u2]) & ([< u1])] => unit
+  let g: [< #S & ([< u2]) & ([< u2]) & ([< u1])] => unit
+  let g: [<
+    | #\\"Exotic-S+\\"
+    & ([< #\\"Exotic-u2+\\"])
+    & ([< #\\"Exotic-u2-\\"])
+    & ([< #\\"Exotic-u1+++\\"])
+  ] => unit
+}
 "
 `;

tests/printer/typexpr/variant.js

@@ -67,3 +67,18 @@ type x = [
   | #Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaar
   | #Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaz
 ]
+
+type animation = [
+  | #"ease-in"
+  | #"ease-out"
+  | #"never ease ✍️"
+]
+
+module type Conjunctive = {
+  type u1 = [ | #A | #B]
+  type u2 = [ | #A | #B | #C]
+
+  let f: [< | #T([< u2]) & ([< u2]) & ([< u1])] => unit
+  let g: [< | #S&([< u2]) & ([< u2]) & ([< u1])] => unit
+  let g: [< | #"Exotic-S+"&([< #"Exotic-u2+"]) & ([< #"Exotic-u2-"]) & ([< #"Exotic-u1+++"])] => unit
+};