Merge branch 'master' of github.com:idris-lang/Idris-dev
commite1462e0b32ceb44865c7c0db388184599ad92a0f
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 28 Aug 2014, 14:58 (12 years ago)
parent6097efc91eecdb
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