Support structured diagnostics 2#4433

Merged

fendor merged 76 commits intohaskell:masterfrom

noughtmare:support-structured-diagnostics

Jan 4, 2025

Commits on Oct 23, 2024

Change FileDiagnostic type synonym to a datatype

dylan-thinnes
authored and
Jaro Reinders
committed
Make `ideErrorWithSource` produce FileDiagnostic by adding filepath arg

dylan-thinnes
authored and
Jaro Reinders
committed
Supply structured error wherever we easily can - TODOs for hard parts

dylan-thinnes
authored and
Jaro Reinders
committed
Fix UnitTests for new FileDiagnostic struct

dylan-thinnes
authored and
Jaro Reinders
committed
Remove explicit uses of FileDiagnostic, add codes to LSP diagnostics

dylan-thinnes
authored and
Jaro Reinders
committed
Add field for expected error codes in ghcide tests

dylan-thinnes
authored and
Jaro Reinders
committed
Expect GHC-83865 for "type error" test - basic test

dylan-thinnes
authored and
Jaro Reinders
committed
Return structured warnings in TcModuleResult by copying from Driver

dylan-thinnes
authored and
Jaro Reinders
committed
Store FileDiagnostic instead of LSP Diagnostic in Shake store

dylan-thinnes
authored and
Jaro Reinders
committed
Add expected error codes for diagnostics that have them

dylan-thinnes
authored and
Jaro Reinders
committed
Dispatch TODOs, amend remaining TODOs as future work

dylan-thinnes
authored and
Jaro Reinders
committed
Add scary comments all over copied code in Compat.Driver

dylan-thinnes
authored and
Jaro Reinders
committed
Update all remaining diagnostics that could use an expected error code

dylan-thinnes
authored and
Jaro Reinders
committed
Add _code to pretty printing for FileDiagnostic

dylan-thinnes
authored and
Jaro Reinders
committed
Use case instead of `maybe` for StructuredMessage match

dylan-thinnes
authored and
Jaro Reinders
committed
Use CPP to prevent setting _code before structured errors

dylan-thinnes
authored and
Jaro Reinders
committed
Swap modifier for lenses, document StructuredMessage type

dylan-thinnes
authored and
Jaro Reinders
committed
Add link to Issue & MR to Compat.Driver

dylan-thinnes
authored and
Jaro Reinders
committed
Drop attachReason logic from withWarnings, technically incorrect

dylan-thinnes
authored and
Jaro Reinders
committed
Revert "Drop attachReason logic", needed by pragmas-plugin

dylan-thinnes
authored and
Jaro Reinders
committed
Fix plugins where necessary for new diagnostic structure

dylan-thinnes
authored and
Jaro Reinders
committed
Fix build issues with other tests from `expectDiagnostics`

dylan-thinnes
authored and
Jaro Reinders
committed
Improve comment on metadata fdStructuredMessage in FileDiagnostic

dylan-thinnes
authored and
Jaro Reinders
committed
Add note to withWarnings explaining the current state of things

dylan-thinnes
authored and
Jaro Reinders
committed
Attach reasons into data field of LSP Diagnostic instead of code field

dylan-thinnes
authored and
Jaro Reinders
committed
Fix up mistakes from merge, TODO fix merge issues for 9.3.0

dylan-thinnes
authored and
Jaro Reinders
committed
Set CodeDescription from HaskellErrorIndex when available

dylan-thinnes
authored and
Jaro Reinders
committed
Remove debugging print, fix expectation for preprocessor tests

dylan-thinnes
authored and
Jaro Reinders
committed
Fix CPP for using Show instance on DiagnosticCode

dylan-thinnes
authored and
Jaro Reinders
committed
Remove diagFromErrMsgs for GHC version < 9.6.1 using CPP

dylan-thinnes
authored and
Jaro Reinders
committed
CPP fix

dylan-thinnes
authored and
Jaro Reinders
committed
More stylish-haskell, more CPP fix

dylan-thinnes
authored and
Jaro Reinders
committed
Fix all stylish-haskell errors triggering

dylan-thinnes
authored and
Jaro Reinders
committed
Fix more CPP

dylan-thinnes
authored and
Jaro Reinders
committed
Only override the LSP diagnostic code when not already set

dylan-thinnes
authored and
Jaro Reinders
committed
Fixes for stylish-haskell

dylan-thinnes
authored and
Jaro Reinders
committed
Qualify s, t for FuzzySearch

dylan-thinnes
authored and
Jaro Reinders
committed
Ignore use of unsafePerformIO in FuzzySearch

dylan-thinnes
authored and
Jaro Reinders
committed
Properly split GHC.Types.Error import in Diagnostics for stylish-haskell

dylan-thinnes
authored and
Jaro Reinders
committed
Force type signature of annotation on FuzzySearch.dictionary

dylan-thinnes
authored and
Jaro Reinders
committed
DRY up definition of closure_errs

dylan-thinnes
authored and
Jaro Reinders
committed
Remove unused imports
Jaro Reinders
committed
Post-rebase fixes
Jaro Reinders
committed
stylish-haskell formatting
Jaro Reinders
committed
Fix issue with GHC 9.4
Jaro Reinders
committed
Please stylish-haskell
Jaro Reinders
committed
Ignore error codes when testing GHC 9.4
Jaro Reinders
committed
Workaround darwin GHC bug in hls-hlint-plugin
Jaro Reinders
committed
Put the workaround in the right place
Jaro Reinders
committed

Commits on Oct 24, 2024

Revert "Set CodeDescription from HaskellErrorIndex when available"
Jaro Reinders
committed
Resolve fendor's feedback
Jaro Reinders
committed
Apply stylish-haskell formatting
Jaro Reinders
committed
Apply more stylish-haskell formatting
Jaro Reinders
committed

Commits on Oct 25, 2024

Merge branch 'master' into support-structured-diagnostics
soulomoon
authored
Resolve some of soulomoon's feedback
Jaro Reinders
committed
Fix small issues
Jaro Reinders
committed

Commits on Oct 26, 2024

Remove unused imports
Jaro Reinders
committed

Commits on Oct 28, 2024

Remove StructuredDiagnostic
Jaro Reinders
committed

Commits on Nov 21, 2024

Commits on Dec 23, 2024

Commits on Dec 25, 2024

Merge branch 'master' into support-structured-diagnostics
fendor
authored