git.iko.soy/Idris-dev
on master help sign in
namesIn should look for *all* names
048e2a7Edwin Brady
src/Idris/AbsSyntax.hs+1−1
compare with master
unifiedsplit
@@ -527,7 +527,7 @@ namesIn ist tm = nub $ ni [] tm
527 where
527 where
528 ni env (PRef _ n)
528 ni env (PRef _ n)
529 | not (n `elem` env)
529 | not (n `elem` env)
530− = case lookupCtxt n (idris_implicits ist) of
530+ = case lookupCtxt n (tt_ctxt ist) of
531 Nothing -> [n]
531 Nothing -> [n]
532 _ -> []
532 _ -> []
533 ni env (PApp _ f as) = ni env f ++ concatMap (ni env) (map getTm as)
533 ni env (PApp _ f as) = ni env f ++ concatMap (ni env) (map getTm as)