Fix interface creation of functions with upper bounded polymorphic args

Author: mediremi

compiler/syntax/src/res_outcome_printer.ml

@@ -123,19 +123,6 @@ let rec print_out_type_doc (out_type : Outcometree.out_type) =
            (if non_gen then Doc.text "_" else Doc.nil);
            Doc.lbracket;
            Doc.indent (Doc.concat [opening; print_out_variant out_variant]);
-           (match labels with
-           | None | Some [] -> Doc.nil
-           | Some tags ->
-             Doc.group
-               (Doc.concat
-                  [
-                    Doc.space;
-                    Doc.join ~sep:Doc.space
-                      (List.map
-                         (fun lbl ->
-                           Printer.print_ident_like ~allow_uident:true lbl)
-                         tags);
-                  ]));
            Doc.soft_line;
            Doc.rbracket;
          ])

tests/analysis_tests/tests/src/CreateInterface.res

@@ -150,3 +150,24 @@ type record = {
   @as("foo_bar")
   fooBar: int
 }
+
+type poly = [#a(int) | #b(string) | #c(float)]
+
+type red = [#Ruby | #Redwood | #Rust]
+type blue = [#Sapphire | #Neon | #Navy]
+type color = [red | blue | #Papayawhip]
+
+external upperBound: ([< #d | #e | #f]) => unit = "myexternal"
+external lowerBound: ([> #d | #e | #f]) => unit = "myexternal"
+
+module ComponentWithPolyProp = {
+  @react.component
+  let make = (~size=#large) => {
+    let className = switch size {
+    | #large => "text-lg"
+    | #small => "text-sm"
+    }
+
+    <div className />
+  }
+}

tests/analysis_tests/tests/src/expected/CompletionAttributes.res.txt

@@ -24,6 +24,12 @@ Resolved opens 1 Stdlib
     "tags": [],
     "detail": "Package",
     "documentation": null
+  }, {
+    "label": "./CreateInterface.cmt",
+    "kind": 4,
+    "tags": [],
+    "detail": "Local file",
+    "documentation": null
   }, {
     "label": "./test.json",
     "kind": 4,
@@ -191,6 +197,12 @@ Resolved opens 1 Stdlib
     "tags": [],
     "detail": "Package",
     "documentation": null
+  }, {
+    "label": "./CreateInterface.cmt",
+    "kind": 4,
+    "tags": [],
+    "detail": "Local file",
+    "documentation": null
   }, {
     "label": "./test.json",
     "kind": 4,
@@ -216,6 +228,12 @@ Resolved opens 1 Stdlib
     "tags": [],
     "detail": "Package",
     "documentation": null
+  }, {
+    "label": "./CreateInterface.cmt",
+    "kind": 4,
+    "tags": [],
+    "detail": "Local file",
+    "documentation": null
   }, {
     "label": "./test.json",
     "kind": 4,

tests/analysis_tests/tests/src/expected/CreateInterface.res.txt

@@ -114,4 +114,14 @@ type record = {
   @as("foo_bar")
   fooBar: int
 }
+type poly = [#a(int) | #b(string) | #c(float)]
+type red = [#Ruby | #Redwood | #Rust]
+type blue = [#Sapphire | #Neon | #Navy]
+type color = [red | blue | #Papayawhip]
+external upperBound: ([< #d | #e | #f]) => unit = "myexternal"
+external lowerBound: ([> #d | #e | #f]) => unit = "myexternal"
+module ComponentWithPolyProp: {
+  @react.component
+  let make: (~size: [< #large | #small]=?) => Jsx.element
+}