... | ... | @@ -379,8 +379,8 @@ module Foo where |
|
|
```
|
|
|
|
|
|
|
|
|
Here the `R.y` in `f1` is an ordinary qualified name. But what should
|
|
|
`r.x` be allowed? Remember plain `x` isn't in scope; only `R.x` is. But
|
|
|
Here the `R.y` in `f1` is an ordinary qualified name. But should
|
|
|
`r.x` in `f2` be allowed? Remember plain `x` isn't in scope; only `R.x` is. But
|
|
|
we don't want to have to force you to write `r.R.x`, even if we could parse
|
|
|
it! Maybe TDNR should choose among in-scope x's regardless of whether they are
|
|
|
qualified or not.
|
... | ... | |