git.iko.soy/Idris-dev
on master help sign in
Changed the name of a pattern variable in one case of `termsize` to be more congruent with the other cases
662289fAlyssa Carter
src/Idris/Core/TT.hs+2−2
compare with master
unifiedsplit
@@ -606,8 +606,8 @@ instance TermSize a => TermSize [a] where
606 termsize n (x : xs) = termsize n x + termsize n xs
606 termsize n (x : xs) = termsize n x + termsize n xs
607
607
608instance TermSize (TT Name) where
608instance TermSize (TT Name) where
609− termsize n (P _ x _)
609+ termsize n (P _ n' _)
610− | x == n = 1000000 -- recursive => really big
610+ | n' == n = 1000000 -- recursive => really big
611 | otherwise = 1
611 | otherwise = 1
612 termsize n (V _) = 1
612 termsize n (V _) = 1
613 termsize n (Bind n' (Let t v) sc)
613 termsize n (Bind n' (Let t v) sc)