tweag / nickel

Better configuration for less
https://nickel-lang.org/
MIT License
2.23k stars 85 forks source link

Filter out the contract annotations on hover/completion when they don't add anything #1972

Closed thufschmitt closed 11 hours ago

thufschmitt commented 1 week ago

Is your feature request related to a problem? Please describe.

The LSP very helpfully displays all the types/contracts attached to values or fields on hover. However, it's easy for this value to get a Dyn type, and unless there's no other information, that Dyn is just noise:

image

Likewise, a value might get a contract applied to it several times (or have both a type, and the same type applied as a contract):

image

Describe the solution you'd like

Filter out these annotations as they don't bring anything to the table