Show variant constructor's inline record types on hover

[mediremi]

Hovering a variant constructor currently only shows payload type information if it uses arguments, but not if it has an inline record:

rescript/analysis/src/Hover.ml

Lines 275 to 283 in dd1f753

	let argsString =
	match args with
	| InlineRecord _ | Args [] -> ""
	| Args args ->
	args
	|> List.map (fun (t, _) -> Shared.typeToString t)
	|> String.concat ", " |> Printf.sprintf "(%s)"
	in
	typeString :: Markdown.codeBlock (txt ^ argsString) :: docstring

My first commit fixes this by using CompletionBackEnd.showConstructor.

My second commit moved where we show constructor payload type information from the end of the markdown hover text to instead be right after the name of the variant type. This allows users to see payload type information immediately instead of having to scroll through related types first.

This also matches the behaviour of other LSPs, like rust-analyzer:

[pkg-pr-new]

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript-lang/rescript@7519

@rescript/darwin-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-x64@7519

@rescript/darwin-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-arm64@7519

@rescript/linux-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-arm64@7519

@rescript/linux-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-x64@7519

@rescript/win32-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/win32-x64@7519

commit: ff9bc9e

[zth]

Awesome, this is great! Keep them coming 😄

Also, feel free to request review from me whenever.

[mediremi]

Thanks, will do! 😃