<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""> - Imports are per-module, not per-source-file, so this couldn’t be used to “user-partition” the identifier and operator space. It could be a way to make it clear that the user is opting into these explicitly.</div></div></div></blockquote><br class=""></div><div>Imports actually <i class="">are</i> per-source-file. At times they appear to be per-module because we don't check this properly for extensions, but those aren't strictly per-module either; you also have access to extensions in any module you've <i class="">recursively</i> imported. Which is terrible.</div><div><br class=""></div><div>Jordan</div><br class=""></body></html>