diff options
Diffstat (limited to '04-identifiers-names-and-scopes.md')
-rw-r--r-- | 04-identifiers-names-and-scopes.md | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/04-identifiers-names-and-scopes.md b/04-identifiers-names-and-scopes.md index 57af8afc3e..3086525634 100644 --- a/04-identifiers-names-and-scopes.md +++ b/04-identifiers-names-and-scopes.md @@ -34,18 +34,21 @@ in some inner scope _shadows_ bindings of lower precedence in the same scope as well as bindings of the same or lower precedence in outer scopes. +<!-- TODO: either the example, the spec, or the compiler is wrong + Note that shadowing is only a partial order. In a situation like ``` -val x = 1; +val x = 1 { - import p.x; + import p.x x } ``` neither binding of `x` shadows the other. Consequently, the -reference to `x` in the third line above would be ambiguous. +reference to `x` in the last line of the block above would be ambiguous. +--> A reference to an unqualified (type- or term-) identifier $x$ is bound by the unique binding, which |