unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-21 07:17:25 +03:00
Code Issues Projects Releases Wiki Activity

Handle several more errors (#3877)

Browse Source
This commit is contained in:
Chris Penner 2023-03-21 16:08:11 -06:00 committed by GitHub
parent cf54ef4095
commit 437864dcde
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 19 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
unison-cli/src/Unison/LSP/FileAnalysis.hs
View File

@ -240,9 +240,25 @@ analyseNotes fileUri ppe src notes = do
-- still have valid diagnostics.
TypeError.Other e@(Context.ErrorNote {cause}) -> case cause of
Context.PatternArityMismatch loc _typ _numArgs -> singleRange loc
_ -> do
Debug.debugM Debug.LSP "No Diagnostic configured for type error: " e
empty
Context.HandlerOfUnexpectedType loc _typ -> singleRange loc
Context.TypeMismatch {} -> shouldHaveBeenHandled e
Context.IllFormedType {} -> shouldHaveBeenHandled e
Context.UnknownSymbol loc _ -> singleRange loc
Context.UnknownTerm loc _ _ _ -> singleRange loc
Context.AbilityCheckFailure {} -> shouldHaveBeenHandled e
Context.AbilityEqFailure {} -> shouldHaveBeenHandled e
Context.EffectConstructorWrongArgCount {} -> shouldHaveBeenHandled e
Context.MalformedEffectBind {} -> shouldHaveBeenHandled e
Context.DuplicateDefinitions {} -> shouldHaveBeenHandled e
Context.UnguardedLetRecCycle {} -> shouldHaveBeenHandled e
Context.ConcatPatternWithoutConstantLength loc _ -> singleRange loc
Context.DataEffectMismatch _ _ decl -> singleRange $ DD.annotation decl
Context.UncoveredPatterns loc _ -> singleRange loc
Context.RedundantPattern loc -> singleRange loc
Context.InaccessiblePattern loc -> singleRange loc
shouldHaveBeenHandled e = do
Debug.debugM Debug.LSP "This diagnostic should have been handled by a previous case but was not" e
empty
diags = noteDiagnostic currentPath note ranges
-- Sort on match accuracy first, then name.
codeActions <- case cause of