May 31, 2022 · May 31, 2022 · May 31, 2022 · May 31, 2022 · May 31, 2022 · May 31, 2022
diff --git a/analysis/tests/src/Hover.res b/analysis/tests/src/Hover.res
 //                       ^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
 }
diff --git a/analysis/tests/src/expected/Hover.res.txt b/analysis/tests/src/expected/Hover.res.txt
 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```"}

diff --git a/analysis/vendor/res_outcome_printer/res_outcome_printer.ml b/analysis/vendor/res_outcome_printer/res_outcome_printer.ml
       )
     | 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 *)
        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 "andtype" else "with type ");
            Doc.text (if i.contents > 0 then "and " else "with ");
            Doc.text lbl;
            Doc.text " = ";
            printOutTypeDoc typ;
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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
		}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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```"}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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 *)
Expand DownExpand Up		@@ -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 "andtype" else "with type ");
		Doc.text (if i.contents > 0 then "and " else "with ");
		Doc.text lbl;
		Doc.text " = ";
		printOutTypeDoc typ;
Expand Down