@@ -1181,6 +1181,7 @@ getRetTy (Bind n (Pi _ _ _) sc) = getRetTy sc
1181getRetTy sc = sc
1181getRetTy sc = sc
1183uniqueNameFrom :: [Name] -> [Name] -> Name
1183uniqueNameFrom :: [Name] -> [Name] -> Name
1184+uniqueNameFrom [] hs = uniqueName (nextName (sUN "x")) hs
1184uniqueNameFrom (s : supply) hs
1185uniqueNameFrom (s : supply) hs
1185 | s `elem` hs = uniqueNameFrom supply hs
1186 | s `elem` hs = uniqueNameFrom supply hs
1186 | otherwise = s
1187 | otherwise = s