This repository was archived by the owner on Dec 29, 2022. It is now read-only.
This repository was archived by the owner on Dec 29, 2022. It is now read-only.
Explore providing secondary labels and errors/notes using textDocument/hover instead #662
Description
One obvious use case is for mismatched types error now: #550. Since we don't include the information from secondary diagnostic (expected <type>, found <another>) in the published IDE diagnostics, users are not informed why exactly is there an error and how to fix it.
iirc @nrc also suggested that we may additionally include the secondary diagnostics info as a response to textDocument/hover.