[quote="mbs-octoml, post:6, topic:12944"] Other than the plumbing, is there an issue with threading a name supply so that globals have a unique and appropriately hinted name at birth? [/quote]
One question in my mind is: there are some names which must be stable e.g. `__main__`, `get_c_metadata`. I presume there would be a way to tell the name supply about this? [quote="tqchen, post:7, topic:12944"] a fixed `global_symbol`, [/quote] How would we enforce this fixed global symbol? Also from name supply? --- [Visit Topic](https://discuss.tvm.apache.org/t/pre-rfc-name-mangling-in-irmodules/12944/8) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/b1064b5c7f5a852dbe60d5838c5ab6b45da62371541b3b0164f3c3845b92e4a3).
