fix new signature for InCon (#230)

* fix new signature for InCon --------- Co-authored-by: Mathew Polzin <[email protected]>
idris-community · Nov 8, 2024 · ac5227b · ac5227b
1 parent 4ec24c8
commit ac5227b
Show file tree

Hide file tree

Showing 4 changed files with 165 additions and 21 deletions.
diff --git a/Idris2 b/Idris2
diff --git a/flake.lock b/flake.lock
diff --git a/src/Server/Diagnostics.idr b/src/Server/Diagnostics.idr
@@ -68,7 +68,7 @@ getRelatedErrors uri (WhenUnifying fc _ _ x y _) =
   ]
 getRelatedErrors uri (ValidCase _ _ (Right err)) = getRelatedErrors uri err
 getRelatedErrors uri (InType _ _ err) = getRelatedErrors uri err
-getRelatedErrors uri (InCon _ _ err) = getRelatedErrors uri err
+getRelatedErrors uri (InCon _ err) = getRelatedErrors uri err
 getRelatedErrors uri (InLHS _ _ err) = getRelatedErrors uri err
 getRelatedErrors uri (InRHS _ _ err) = getRelatedErrors uri err
 getRelatedErrors _ _ = []

diff --git a/src/Server/QuickFix.idr b/src/Server/QuickFix.idr
@@ -77,7 +77,7 @@ findQuickfix : Ref LSPConf LSPConfiguration
             -> Core ()
 findQuickfix caps uri (WhenUnifying fc _ _ x y err) = findQuickfix caps uri err
 findQuickfix caps uri (InType _ _ err) = findQuickfix caps uri err
-findQuickfix caps uri (InCon _ _ err) = findQuickfix caps uri err
+findQuickfix caps uri (InCon _ err) = findQuickfix caps uri err
 findQuickfix caps uri (InLHS _ _ err) = findQuickfix caps uri err
 findQuickfix caps uri (InRHS _ _ err) = findQuickfix caps uri err
 findQuickfix caps uri err@(PatternVariableUnifies fc fct env n tm) =