{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/1260","labels_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1260/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1260/comments","events_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1260/events","html_url":"https://github.com/rust-lang/rfcs/pull/1260","id":101918005,"number":1260,"title":"RFC: Allow a re-export for `main`","user":{"login":"tbu-","id":6666593,"avatar_url":"https://avatars.githubusercontent.com/u/6666593?v=3","gravatar_id":"","url":"https://api.github.com/users/tbu-","html_url":"https://github.com/tbu-","followers_url":"https://api.github.com/users/tbu-/followers","following_url":"https://api.github.com/users/tbu-/following{/other_user}","gists_url":"https://api.github.com/users/tbu-/gists{/gist_id}","starred_url":"https://api.github.com/users/tbu-/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tbu-/subscriptions","organizations_url":"https://api.github.com/users/tbu-/orgs","repos_url":"https://api.github.com/users/tbu-/repos","events_url":"https://api.github.com/users/tbu-/events{/privacy}","received_events_url":"https://api.github.com/users/tbu-/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/rust-lang/rfcs/labels/final-comment-period","name":"final-comment-period","color":"207de5"},{"url":"https://api.github.com/repos/rust-lang/rfcs/labels/T-lang","name":"T-lang","color":"bfd4f2"}],"state":"open","locked":false,"assignee":{"login":"pnkfelix","id":173127,"avatar_url":"https://avatars.githubusercontent.com/u/173127?v=3","gravatar_id":"","url":"https://api.github.com/users/pnkfelix","html_url":"https://github.com/pnkfelix","followers_url":"https://api.github.com/users/pnkfelix/followers","following_url":"https://api.github.com/users/pnkfelix/following{/other_user}","gists_url":"https://api.github.com/users/pnkfelix/gists{/gist_id}","starred_url":"https://api.github.com/users/pnkfelix/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pnkfelix/subscriptions","organizations_url":"https://api.github.com/users/pnkfelix/orgs","repos_url":"https://api.github.com/users/pnkfelix/repos","events_url":"https://api.github.com/users/pnkfelix/events{/privacy}","received_events_url":"https://api.github.com/users/pnkfelix/received_events","type":"User","site_admin":false},"milestone":null,"comments":20,"created_at":"2015-08-19T15:18:10Z","updated_at":"2015-10-09T02:34:48Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/rust-lang/rfcs/pulls/1260","html_url":"https://github.com/rust-lang/rfcs/pull/1260","diff_url":"https://github.com/rust-lang/rfcs/pull/1260.diff","patch_url":"https://github.com/rust-lang/rfcs/pull/1260.patch"},"body":"[(rendered)](https://github.com/tbu-/rust-rfcs/blob/rfc_main_reexport/text/0000-main-reexport.md)"},"comment":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/comments/146739414","html_url":"https://github.com/rust-lang/rfcs/pull/1260#issuecomment-146739414","issue_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1260","id":146739414,"user":{"login":"Ericson2314","id":1055245,"avatar_url":"https://avatars.githubusercontent.com/u/1055245?v=3","gravatar_id":"","url":"https://api.github.com/users/Ericson2314","html_url":"https://github.com/Ericson2314","followers_url":"https://api.github.com/users/Ericson2314/followers","following_url":"https://api.github.com/users/Ericson2314/following{/other_user}","gists_url":"https://api.github.com/users/Ericson2314/gists{/gist_id}","starred_url":"https://api.github.com/users/Ericson2314/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Ericson2314/subscriptions","organizations_url":"https://api.github.com/users/Ericson2314/orgs","repos_url":"https://api.github.com/users/Ericson2314/repos","events_url":"https://api.github.com/users/Ericson2314/events{/privacy}","received_events_url":"https://api.github.com/users/Ericson2314/received_events","type":"User","site_admin":false},"created_at":"2015-10-09T02:34:48Z","updated_at":"2015-10-09T02:34:48Z","body":"@nikomatsakis You are correct that there is a generated stub (`lang_start` maybe from looking at play pen?). That \"the imported main doesn't get a new symbol for it's top-level status\" isn't causing any problem right now as the error comes before anything tries to link the generated stub, but it's still something to keep in mind.\r\n\r\nThe mangled name for a normal main is roughly `::main : () -> ()` [I don't know exactly how the C++ mangling scheme works nor how we map our types onto it]. Generated entry points or not, that is what I'd expect. But, depending on which of the choices I enumerate above is taken, if one does `use foo::main`, the symbol for `main` will be `::foo::main : () -> ()`. Certainly, that is what the only symbol for it would be today.\r\n\r\ntl;dr, generated name or no generated name, still worthwhile to think about symbol names."}}