on master help sign in
Reapply 08779298ce2e95b3e16a5a3e5d9c0cf3936d0507 from master.
commit60a3937d29936fc318e2f0f585bd440f496470d3 authorMatus Tejiscak <ziman@functor.sk> dateMon 20 Jan 2014, 11:15 (13 years ago) parente5b7866
1 file changed+1−1
src/Idris/Erasure.hs+1−1
src/Idris/Erasure.hs+1−1
@@ -197,7 +197,7 @@ findUnusedArgs names = do
197197 = let directuse = args!!j `elem` usedns
198198 garg = getFargpos calls (args!!j, j)
199199 recused = map getUsed garg
200− in directuse || null recused || or recused
200+ in directuse || or recused
201201 -- used on any route from here, or not used recursively
202202
203203 | otherwise = True