diff options
Diffstat (limited to '04-identifiers-names-and-scopes.md')
-rw-r--r-- | 04-identifiers-names-and-scopes.md | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/04-identifiers-names-and-scopes.md b/04-identifiers-names-and-scopes.md index 6a7393db94..1266fce2f6 100644 --- a/04-identifiers-names-and-scopes.md +++ b/04-identifiers-names-and-scopes.md @@ -41,18 +41,18 @@ val x = 1; neither binding of `x` shadows the other. Consequently, the reference to `x` in the third line above would be ambiguous. -A reference to an unqualified (type- or term-) identifier _x_ is bound +A reference to an unqualified (type- or term-) identifier $x$ is bound by the unique binding, which - defines an entity with name $x$ in the same namespace as the identifier, and -- shadows all other bindings that define entities with name _x_ in that +- shadows all other bindings that define entities with name $x$ in that namespace. -It is an error if no such binding exists. If _x_ is bound by an -import clause, then the simple name _x_ is taken to be equivalent to -the qualified name to which _x_ is mapped by the import clause. If _x_ -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 +It is an error if no such binding exists. If $x$ is bound by an +import clause, then the simple name $x$ is taken to be equivalent to +the qualified name to which $x$ is mapped by the import clause. If $x$ +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. (@) Assume the following two definitions of a objects named @@ -95,9 +95,9 @@ 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](#value-types). The type of `e.x` is the member type of the -referenced entity in _T_. +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](#value-types). The type of $e.x$ is the member type of the +referenced entity in $T$. |