Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

mini spec: Exported identifiers, Uniqueness #2022

Merged
merged 1 commit into from
Nov 25, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 7 additions & 2 deletions doc/spec-mini.md
Original file line number Diff line number Diff line change
Expand Up @@ -1795,11 +1795,16 @@ Functions:

### Exported identifiers

TODO
An identifier may be _exported_ to permit access to it from another package. An identifier is exported if both:

* the first character of the identifier's name is a Unicode uppercase letter (Unicode character category Lu); and
* the identifier is declared in the [package block]() or it is a [field name]() or [method name]().

All other identifiers are not exported.

### Uniqueness of identifiers

TODO
Given a set of identifiers, an identifier is called _unique_ if it is _different_ from every other in the set. Two identifiers are different if they are spelled differently, or if they appear in different [packages](#packages) and are not [exported](#exported-identifiers). Otherwise, they are the same.

### Constant declarations

Expand Down