namesIn should look for *all* names
commit048e2a7f9494b064fae4eefc4775096a27420713
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateThu 17 Nov 2011, 14:15 (15 years ago)
parent04ac1a8
src/Idris/AbsSyntax.hs+1−1
@@ -527,7 +527,7 @@ namesIn ist tm = nub $ ni [] tm
527527 where
528528 ni env (PRef _ n)
529529 | not (n `elem` env)
530− = case lookupCtxt n (idris_implicits ist) of
530+ = case lookupCtxt n (tt_ctxt ist) of
531531 Nothing -> [n]
532532 _ -> []
533533 ni env (PApp _ f as) = ni env f ++ concatMap (ni env) (map getTm as)