You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- An _omitting selector_`x => _` prevents `x` from being aliased by a subsequent
59
59
wildcard selector.
60
60
- A _given selector_`given x` has an optional type bound `x`. It creates aliases for all eligible given instances that conform to either `x`, or `Any` if `x` is omitted, except for members that are named by a previous simple, renaming, or omitting selector.
61
-
- A _wildcard selector_`_` creates aliases for all eligible members of `path` except for given instances,
61
+
- A _wildcard selector_`*` creates aliases for all eligible members of `path` except for given instances,
62
62
synthetic members generated by the compiler and those members that are named by a previous simple, renaming, or omitting selector.
63
63
64
64
A member is _eligible_ if all of the following holds:
@@ -144,15 +144,15 @@ Consider the following example:
144
144
```scala
145
145
class B { val c: Int }
146
146
object a { val b = new B }
147
-
export a._
148
-
export b._
147
+
export a.*
148
+
export b.*
149
149
```
150
150
151
-
Is the `export b._` clause legal? If yes, what does it export? Is it equivalent to `export a.b._`? What about if we swap the last two clauses?
151
+
Is the `export b.*` clause legal? If yes, what does it export? Is it equivalent to `export a.b.*`? What about if we swap the last two clauses?
152
152
153
153
```
154
-
export b._
155
-
export a._
154
+
export b.*
155
+
export a.*
156
156
```
157
157
158
158
To avoid tricky questions like these, we fix the elaboration order of exports as follows.
0 commit comments