Commit 99ace837 authored by niteria's avatar niteria
Browse files

Kill nameSetElems in getInfo

nameSetAll is more precise here
parent f2b3be03
......@@ -785,7 +785,7 @@ getInfo allInfo name
plausible rdr_env names
-- Dfun involving only names that are in ic_rn_glb_env
= allInfo
|| all ok (nameSetElems names)
|| nameSetAll ok names
where -- A name is ok if it's in the rdr_env,
-- whether qualified or not
ok n | n == name = True
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment