The proposal is deliberately a bit hand-wavy on this point, since it will be up to a future proposal to determine the exact mechanism that we use here. I think the options that we've seen so far for both issues are to have a compiler-blessed set of entry point methods, or to use an attribute like Joe's
@entryPoint suggestion to designate a
main method as having a specific symbol name. I really like that suggestion, which does let us keep both the entry point implementation and information about which signature it's using entirely in the library.
I'll include a summary of all this in the revised proposal — thanks!