Merge pull request #1493 from mixis/fix/master/nextNamme-pattern
Add missing pattern in TT.hs
commit91eecdb956859f81a524dc6eecbb382b69665523
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 26 Aug 2014, 18:27 (12 years ago)
parent60f3916486c4c0
src/Idris/Core/TT.hs+1
@@ -1154,6 +1154,7 @@ nextName (UN x) = let (num', nm') = T.span isDigit (T.reverse x)
11541154nextName (SN x) = SN (nextName' x)
11551155 where
11561156 nextName' (WhereN i f x) = WhereN i f (nextName x)
1157+ nextName' (WithN i n) = WithN i (nextName n)
11571158 nextName' (CaseN n) = CaseN (nextName n)
11581159 nextName' (MethodN n) = MethodN (nextName n)
11591160