You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This requires keeping track of the which of source A's dependencies triggered building source B (there might be more than one) so that the diagnostics from the latter can be included at a pertinent location on the former.
The text was updated successfully, but these errors were encountered:
If source A depends on source B, errors on source B should be included in the diagnostics shown for source A (warnings can be suppressed) via
DiagnosticRelatedInformation
(more info: https://microsoft.github.io/language-server-protocol/specifications/specification-3-14/#textDocument_publishDiagnostics).This requires keeping track of the which of source A's dependencies triggered building source B (there might be more than one) so that the diagnostics from the latter can be included at a pertinent location on the former.
The text was updated successfully, but these errors were encountered: