@@ -1060,8 +1060,9 @@ uniqueName n hs | n `elem` hs = uniqueName (nextName n) hs
10601060
10611061uniqueBinders :: [Name] -> TT Name -> TT Name
10621062uniqueBinders ns (Bind n b sc)
1063− = let n' = uniqueName n ns in
1064− Bind n' (fmap (uniqueBinders (n':ns)) b) (uniqueBinders ns sc)
1063+ = let n' = uniqueName n ns
1064+ ns' = n' : ns in
1065+ Bind n' (fmap (uniqueBinders ns') b) (uniqueBinders ns' sc)
10651066uniqueBinders ns (App f a) = App (uniqueBinders ns f) (uniqueBinders ns a)
10661067uniqueBinders ns t = t
10671068