fix new signature for InCon (idris-community#230)

andrevidela · mattpolzin · web-flow · commit ac5227bf7b27 · 2024-11-08T00:45:30.000-06:00
* fix new signature for InCon

---------

Co-authored-by: Mathew Polzin &lt;matt.polzin@gmail.com&gt;
diff --git a/Idris2 b/Idris2
@@ -1 +1 @@
-Subproject commit 57f455d135ded025e33e236fd010f6570c46fc6e
+Subproject commit fc3d2a04dcd7571b8f736ee24b0fd25eefa408e9
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) =

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ getRelatedErrors uri (WhenUnifying fc _ _ x y _) =`
`68`	`68`	`]`
`69`	`69`	`getRelatedErrors uri (ValidCase _ _ (Right err)) = getRelatedErrors uri err`
`70`	`70`	`getRelatedErrors uri (InType _ _ err) = getRelatedErrors uri err`
`71`		`-getRelatedErrors uri (InCon _ _ err) = getRelatedErrors uri err`
	`71`	`+getRelatedErrors uri (InCon _ err) = getRelatedErrors uri err`
`72`	`72`	`getRelatedErrors uri (InLHS _ _ err) = getRelatedErrors uri err`
`73`	`73`	`getRelatedErrors uri (InRHS _ _ err) = getRelatedErrors uri err`
`74`	`74`	`getRelatedErrors _ _ = []`