<div dir="ltr">Say you use a global in a function in some other module. If I understand your patch correctly it would recursively complain about all the instructions which have some use relation to the one that uses the bad global as opposed to just the first one.</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 24, 2015 at 2:57 PM, Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I am not sure I follow. Can you provide an example where the patch I<br>
send produces a bad error message?<br>
<div class="HOEnZb"><div class="h5"><br>
On 24 December 2015 at 01:39, Keno Fischer <<a href="mailto:kfischer@college.harvard.edu">kfischer@college.harvard.edu</a>> wrote:<br>
> I'm concerned that that does too much work, because the Function and in the<br>
> Instruction will be checked again elsewhere. Also, the error message would<br>
> be bad, since the problem of which value is used outside the module is<br>
> actually somewhere else.<br>
><br>
> On Wed, Dec 23, 2015 at 8:33 PM, Rafael Espíndola<br>
> <<a href="mailto:rafael.espindola@gmail.com">rafael.espindola@gmail.com</a>> wrote:<br>
>><br>
>> On 23 December 2015 at 13:18, Keno Fischer <<a href="mailto:kfischer@college.harvard.edu">kfischer@college.harvard.edu</a>><br>
>> wrote:<br>
>> > Somewhere we have to have the logic as to which users we can handle<br>
>> > (those<br>
>> > which are embedded in a module). We can have that in the callback with a<br>
>> > boolean flag as to whether we could handle it, or we could have that<br>
>> > logic<br>
>> > in the foreach function. The latter seemed cleaner to me, but as I said,<br>
>> > no<br>
>> > strong opinions here.<br>
>> ><br>
>><br>
>> What I am suggesting is that the helper should be a fully generic<br>
>> "walk every user". What do you think of the attached patch?<br>
>><br>
>><br>
>> Cheers,<br>
>> Rafael<br>
><br>
><br>
</div></div></blockquote></div><br></div>