Add a default case to uniqueNameFrom
This causes a caller who supplies an empty or finite name supply to get
back a result that is merely ugly, rather than a crash.
commitbf2f3cce48022b0ce9c658260cf776ec247430cf
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSun 11 Jan 2015, 22:39 (12 years ago)
parent35e604a
src/Idris/Core/TT.hs+1
@@ -1181,6 +1181,7 @@ getRetTy (Bind n (Pi _ _ _) sc) = getRetTy sc
11811181getRetTy sc = sc
11821182
11831183uniqueNameFrom :: [Name] -> [Name] -> Name
1184+uniqueNameFrom [] hs = uniqueName (nextName (sUN "x")) hs
11841185uniqueNameFrom (s : supply) hs
11851186 | s `elem` hs = uniqueNameFrom supply hs
11861187 | otherwise = s