Changed the name of a pattern variable in one case of `termsize` to be more congruent with the other cases
commit662289fc19625ddcac121048deda52d2a57c647c
authorAlyssa Carter <trillionalyssa@gmail.com>
dateTue 14 Jan 2014, 05:13 (13 years ago)
parent4dbd816
src/Idris/Core/TT.hs+2−2
@@ -606,8 +606,8 @@ instance TermSize a => TermSize [a] where
606606 termsize n (x : xs) = termsize n x + termsize n xs
607607
608608instance TermSize (TT Name) where
609− termsize n (P _ x _)
610− | x == n = 1000000 -- recursive => really big
609+ termsize n (P _ n' _)
610+ | n' == n = 1000000 -- recursive => really big
611611 | otherwise = 1
612612 termsize n (V _) = 1
613613 termsize n (Bind n' (Let t v) sc)