git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1258 from bmsherman/uniqueBinders
6d6e48bEdwin Brady
src/Idris/Core/TT.hs+3−2
compare with master
unifiedsplit
@@ -1060,8 +1060,9 @@ uniqueName n hs | n `elem` hs = uniqueName (nextName n) hs
1060
1060
1061uniqueBinders :: [Name] -> TT Name -> TT Name
1061uniqueBinders :: [Name] -> TT Name -> TT Name
1062uniqueBinders ns (Bind n b sc)
1062uniqueBinders ns (Bind n b sc)
1063− = let n' = uniqueName n ns in
1063+ = let n' = uniqueName n ns
1064+ ns' = n' : ns in
1064− Bind n' (fmap (uniqueBinders (n':ns)) b) (uniqueBinders ns sc)
1065+ Bind n' (fmap (uniqueBinders ns') b) (uniqueBinders ns' sc)
1065uniqueBinders ns (App f a) = App (uniqueBinders ns f) (uniqueBinders ns a)
1066uniqueBinders ns (App f a) = App (uniqueBinders ns f) (uniqueBinders ns a)
1066uniqueBinders ns t = t
1067uniqueBinders ns t = t
1067
1068