git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1493 from mixis/fix/master/nextNamme-pattern
91eecdbEdwin Brady
src/Idris/Core/TT.hs+1
compare with master
unifiedsplit
@@ -1154,6 +1154,7 @@ nextName (UN x) = let (num', nm') = T.span isDigit (T.reverse x)
1154nextName (SN x) = SN (nextName' x)
1154nextName (SN x) = SN (nextName' x)
1155 where
1155 where
1156 nextName' (WhereN i f x) = WhereN i f (nextName x)
1156 nextName' (WhereN i f x) = WhereN i f (nextName x)
1157+ nextName' (WithN i n) = WithN i (nextName n)
1157 nextName' (CaseN n) = CaseN (nextName n)
1158 nextName' (CaseN n) = CaseN (nextName n)
1158 nextName' (MethodN n) = MethodN (nextName n)
1159 nextName' (MethodN n) = MethodN (nextName n)
1159
1160