On Wed, Sep 23, 2020 at 02:29:28PM -0400, John Snow wrote: > On 9/23/20 11:17 AM, Eduardo Habkost wrote: > > This changes behavior if name=='', and I guess this is OK, but > > I'm not sure. I miss documentation on `visit_module()`, > > `visit_include()`, and `_is_user_module()`. I don't know what > > `name` means here, and what is a "user module". > > > > Good spot, I missed that. > > I can probably do: bool(name and not name.startswith('./')) > > to convert explicitly the empty string to false. I will allow Markus the > chance to explain the module stuff.
Sound good to me. If the current behavior needs to be changed, it can be fixed later. -- Eduardo