Add main attributes proposal

[chsienki]

No description provided.

[333fred]

There are not multiple entry points for programs with top level statements.

[chsienki]

There can be. Although its an error case, the compiler explicitly allows you to have multiple files with top level statements. We're saying here that we'll only apply the attributes to the first one (same as if you call getEntryPoint and there are multiple ones).

[333fred]

Although its an error case, the compiler explicitly allows you to have multiple files with top level statements

It's an error case. The compiler explicitly does not allow it. Therefore, our handling of such an error case is an implementation detail, and doesn't belong in the specification.

[jaredpar]

I think we could simplify this to essentially

Only simple program entrypoints are supported. It is not supported when there is an explicit Main method which qualifies as the entry point.

I agree we should avoid listing out how it works in cases like multiple files with top level statements. That is already an error scenario, basically an invalid program. Generally we don't spec out behaviors for scenarios like that.