arity0 hovering issues

analysis/tests/src/Hover.res

@@ -111,4 +111,22 @@ let typeDuplicate = AA.fnnxx
 //                       ^hov
 
 @live let dd = 34
-// ^hov
+// ^hov
+
+let arity0a = (. ()) => {
+  //^hov
+  let f = () => 3
+  f
+}
+
+let arity0b = (. (), . ()) => 3
+//  ^hov
+
+let arity0c = (. (), ()) => 3
+//  ^hov
+
+let arity0d = (. ()) => {
+  // ^hov
+  let f = () => 3
+  f
+}

analysis/tests/src/expected/Hover.res.txt

@@ -70,3 +70,15 @@ Attribute id:live:[112:0->112:5] label:live
 Completable: Cdecorator(live)
 {"contents": "The `@live` decorator is for reanalyze, a static analysis tool for ReScript that can do dead code analysis.\n\n`@live` tells the dead code analysis that the value should be considered live, even though it might appear to be dead. This is typically used in case of FFI where there are indirect ways to access values. It can be added to everything that could otherwise be considered unused by the dead code analysis - values, functions, arguments, records, individual record fields, and so on.\n\n[Read more and see examples in the documentation](https://rescript-lang.org/syntax-lookup#live-decorator).\n\nHint: Did you know you can run an interactive code analysis in your project by running the command `> ReScript: Start Code Analyzer`? Try it!"}
 
+Hover tests/src/Hover.res 115:4
+{"contents": "```rescript\n(.) => unit => int\n```"}
+
+Hover tests/src/Hover.res 121:4
+{"contents": "```rescript\n(.) => (.) => int\n```"}
+
+Hover tests/src/Hover.res 124:4
+{"contents": "```rescript\n(. unit, unit) => int\n```"}
+
+Hover tests/src/Hover.res 127:5
+{"contents": "```rescript\n(.) => unit => int\n```"}
+

analysis/vendor/res_outcome_printer/res_outcome_printer.ml

@@ -233,20 +233,18 @@ let printPolyVarIdent txt =
        )
      | Otyp_alias (typ, aliasTxt) ->
        Doc.concat [
-         Doc.lparen;
          printOutTypeDoc typ;
          Doc.text " as '";
-         Doc.text aliasTxt;
-         Doc.rparen
+         Doc.text aliasTxt
        ]
      | Otyp_constr (
         Oide_dot (Oide_dot (Oide_ident "Js", "Fn") , "arity0"), (* Js.Fn.arity0 *)
-        [Otyp_constr (Oide_ident ident, [])] (* int or unit or string *)
+        [typ] 
        ) ->
-        (* Js.Fn.arity0<int> -> (.) => int*)
+        (* Js.Fn.arity0<t> -> (.) => t *)
         Doc.concat [
-          Doc.text "(. ()) => ";
-          Doc.text ident;
+          Doc.text "(.) => ";
+          printOutTypeDoc typ;
         ]
      | Otyp_constr (
         Oide_dot (Oide_dot (Oide_ident "Js", "Fn") , ident), (* Js.Fn.arity2 *)
@@ -352,7 +350,7 @@ let printPolyVarIdent txt =
         let i = ref 0 in
         let package = Doc.join ~sep:Doc.line ((List.map2 [@doesNotRaise]) (fun lbl typ ->
           Doc.concat [
-            Doc.text (if i.contents > 0 then "and type " else "with type ");
+            Doc.text (if i.contents > 0 then "and " else "with ");
             Doc.text lbl;
             Doc.text " = ";
             printOutTypeDoc typ;