Add missing pattern in TT.hs
Idris tripped over an incomplete pattern match in nextName' while typechecking
https://github.com/defanor/parcomb/blob/1cd15bf9c7e4a06c30ee5a804ea5d4d4993bbbab/VISD.idr
I traced and added the missing pattern match. The file typechecks and tests pass
but I have not tried to understand what is actually going on in TT.hs.
commit486c4c054d472e8ac66caf8b613430d69c84300a
authorMichael Weiss <wm@ars.is>
dateTue 26 Aug 2014, 15:21 (12 years ago)
parent60f3916
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