diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-26 00:42:54 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-26 00:42:54 -0700 |
| commit | 3df5773e3a7dd5fac1d6d641b30a84c6470dab19 (patch) | |
| tree | 9b07f2b6e94e943ce55b44b24e4ccd6bdc9c3b27 /04-identifiers-names-and-scopes.md | |
| parent | 7307a03e5456b0c260435f61354917e8b769a5bb (diff) | |
| download | scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.tar.gz scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.tar.bz2 scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.zip | |
formatting
Diffstat (limited to '04-identifiers-names-and-scopes.md')
| -rw-r--r-- | 04-identifiers-names-and-scopes.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/04-identifiers-names-and-scopes.md b/04-identifiers-names-and-scopes.md index 3086525634..62d150d281 100644 --- a/04-identifiers-names-and-scopes.md +++ b/04-identifiers-names-and-scopes.md @@ -64,6 +64,12 @@ is bound by a definition or declaration, then $x$ refers to the entity introduced by that binding. In that case, the type of $x$ is the type of the referenced entity. +A reference to a qualified (type- or term-) identifier $e.x$ refers to +the member of the type $T$ of $e$ which has the name $x$ in the same +namespace as the identifier. It is an error if $T$ is not a [value type](05-types.html#value-types). +The type of $e.x$ is the member type of the referenced entity in $T$. + + ###### Example: bindings Assume the following two definitions of a objects named `X` in packages `P` and `Q`. @@ -105,9 +111,3 @@ object A { }}}}}} ``` -A reference to a qualified (type- or term-) identifier $e.x$ refers to -the member of the type $T$ of $e$ which has the name $x$ in the same -namespace as the identifier. It is an error if $T$ is not a -[value type](05-types.html#value-types). The type of $e.x$ is the member type of the -referenced entity in $T$. - |