Ulysse
Ulysse
Thanks for the report and the reproduction @Kakadu This does look like a bug, I don't see why we would report the function documentation when hovering on one of it's...
Thanks for your report @Innf107 Looks like there is an associativity issue in Merlin: adding parenthesis `type t = A of (int * string)` fixes the issue. Reproduction: ``` $...
Oh you're right. Also it's not an associativity issue else the wrong result would be `int`, not `string`.
@xvw Looks like this is de-sugared by the parser into: `A _ -> A (_, _)` with both wildcards sharing the location of the source one. Merlin only considers the...
Thanks for you detailed report, I was able to reproduce. We will have a look.
Yes I agree, there is a similar frustrating thing happening when asking for the definition of punned record arguments (but in that case it is less clear which is the...
> I don't see any reason to not have the three requests have the same type of parameter That's quite right, but is that a reason sufficient-enough to introduce a...
> Having to already play with inconsistencies when there are only 3 different requests That cost is not high enough to justify breaking older clients or start a complex migration...
Hi @NicholasLYang, there is no way to do that from the editor plugin right now.
That's surprising, and definitely a bug, thanks for the report.