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.
--js
