Top level vs global scope

[yuyichao]

@CameronBieganek

To me that implies that there is some distinction between top-level and global scope , but it’s not clear to me from that sentence what the distinction is.

This top-level is roughly the same as what said above, it basically means tracing up the enclosing syntax until the module.

@CameronBieganek

Do you mean that certain syntax are only allowed at the uppermost node in the syntax tree?

No. Nested module is allowed, for example. They just cannot be wrapped in any other syntax within the module.