John Snow <js...@redhat.com> writes: > Instead of using None as the built-in module filename, use an empty > string instead.
PATCH 05's changes the module name of the special system module for built-in stuff from None to './builtin'. The other system modules are named like './FOO': './init' and './emit' currently. This one changes the module *filename* from None to "", and not just for the builtin module, but for *all* system modules. Your commit message claims only "the built-in module", which is not true as far as I can tell. Should we use the opportunity to make the filename match the module name? > This allows us to clarify the type of various interfaces > dealing with module names as always taking a string, which saves us from > having to use Optional[str] everywhere. > > Signed-off-by: John Snow <js...@redhat.com>