Skip to content

Update scala3 github link #3197

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 8, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion _overviews/scala3-scaladoc/settings.md
Original file line number Diff line number Diff line change
Expand Up @@ -182,7 +182,7 @@ Define the additional sbt configuration for your Scastie snippets. For example,

##### -dynamic-side-menu

Generate the side menu (the tree-like overview of the project structure on the left-hand side) dynamically in the browser using JavaScript instead of embedding it in every HTML file. This can greatly reduce outputted HTML file sizes. Recommended for projects with 1000+ pages. For more info see [issue 18543](https://github.com/lampepfl/dotty/issues/18543).
Generate the side menu (the tree-like overview of the project structure on the left-hand side) dynamically in the browser using JavaScript instead of embedding it in every HTML file. This can greatly reduce outputted HTML file sizes. Recommended for projects with 1000+ pages. For more info see [issue 18543](https://github.com/scala/scala3/issues/18543).

##### -Ysnippet-compiler-debug

Expand Down
2 changes: 1 addition & 1 deletion _sips/sips/alternative-bind-variables.md
Original file line number Diff line number Diff line change
Expand Up @@ -317,7 +317,7 @@ The associated [thread](https://contributors.scala-lang.org/t/pre-sip-bind-varia
## Implementation

The author has a current in-progress implementation focused on the typer which compiles the examples with the expected types. Interested
parties are welcome to see the WIP [here](https://github.com/lampepfl/dotty/compare/main...yilinwei:dotty:main).
parties are welcome to see the WIP [here](https://github.com/scala/scala3/compare/main...yilinwei:dotty:main).

### Further work

Expand Down
4 changes: 2 additions & 2 deletions _sips/sips/better-fors.md
Original file line number Diff line number Diff line change
Expand Up @@ -472,9 +472,9 @@ The only Open community build library that failed because of the change to the d
## Links

1. Scala contributors discussion thread (pre-SIP): https://contributors.scala-lang.org/t/pre-sip-improve-for-comprehensions-functionality/3509/51
2. Github issue discussion about for desugaring: https://github.com/lampepfl/dotty/issues/2573
2. Github issue discussion about for desugaring: https://github.com/scala/scala3/issues/2573
3. Scala 2 implementation of some of the improvements: https://github.com/oleg-py/better-monadic-for
4. Implementation of one of the simplifications: https://github.com/lampepfl/dotty/pull/16703
4. Implementation of one of the simplifications: https://github.com/scala/scala3/pull/16703
5. Draft implementation branch: https://github.com/dotty-staging/dotty/tree/improved-fors
6. Minimized issue reproducing the problem with the current desugaring: https://github.com/scala/scala3/issues/21804
7. (empty :sad:) Contributors thread about better effect loops with for-comprehensions: https://contributors.scala-lang.org/t/pre-sip-sip-62-addition-proposal-better-effect-loops-with-for-comprehensions/6759
Expand Down
10 changes: 5 additions & 5 deletions _sips/sips/binary-api.md
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ Currently, the compiler automatically generates accessors for references to priv
* Changing the implementation of an inline definition can be a binary incompatible change
* Removing final from a class is a binary incompatible change

You can find more details in [https://github.com/lampepfl/dotty/issues/16983](https://github.com/lampepfl/dotty/issues/16983)
You can find more details in [https://github.com/scala/scala3/issues/16983](https://github.com/scala/scala3/issues/16983)

### Avoid duplication of inline accessors

Expand Down Expand Up @@ -249,7 +249,7 @@ Using references to `@publicInBinary` in inline code can cause binary incompatib
### Add a `@binaryAccessor`
This annotation would generate an stable accessor. This annotation could be used on `private` definition. It would also mitigate [migration costs](https://gist.github.com/nicolasstucki/003f7293941836b08a0d53dbcb913e3c) for library authors that have published unstable accessors.

* Implementation https://github.com/lampepfl/dotty/pull/16992
* Implementation https://github.com/scala/scala3/pull/16992


### Make all `private[C]` part of the binary API
Expand All @@ -268,9 +268,9 @@ The drawback of this approach is that that we would need to force users to keep

## Related work

* Initial discussions: [https://github.com/lampepfl/dotty/issues/16983](https://github.com/lampepfl/dotty/issues/16983)
* Initial proof of concept (outdated): [https://github.com/lampepfl/dotty/pull/16992](https://github.com/lampepfl/dotty/pull/16992)
* Single annotation proof of concept: [https://github.com/lampepfl/dotty/pull/18402](https://github.com/lampepfl/dotty/pull/18402)
* Initial discussions: [https://github.com/scala/scala3/issues/16983](https://github.com/scala/scala3/issues/16983)
* Initial proof of concept (outdated): [https://github.com/scala/scala3/pull/16992](https://github.com/scala/scala3/pull/16992)
* Single annotation proof of concept: [https://github.com/scala/scala3/pull/18402](https://github.com/scala/scala3/pull/18402)
* Community migration analysis: [Gist](https://gist.github.com/nicolasstucki/003f7293941836b08a0d53dbcb913e3c)
* Kotlin: [PublishedApi](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-published-api/) plays the same role as `@publicInBinary`
but its interaction with (inline definitions)[https://kotlinlang.org/docs/inline-functions.html#restrictions-for-public-api-inline-functions]
Expand Down
4 changes: 2 additions & 2 deletions _sips/sips/byname-implicits.md
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ the knot" implicitly.

### Implementation status

Byname implicits have been implemented in [Dotty](https://github.com/lampepfl/dotty/issues/1998)
Byname implicits have been implemented in [Dotty](https://github.com/scala/scala3/issues/1998)
with an earlier iteration of the divergence checking algorithm described below. A full
implementation of this proposal exists as a [pull request](https://github.com/scala/scala/pull/6050)
relative to the 2.13.x branch of the Lightbend Scala compiler and it is scheduled to be included in
Expand Down Expand Up @@ -851,7 +851,7 @@ object Test {

because the path `foo` in `foo.Out` is not stable. Full parity with shapeless's `Lazy` would require
lazy (rather than byname) implicit parameters (see [this Dotty
ticket](https://github.com/lampepfl/dotty/issues/3005) for further discussion) and is orthogonal to
ticket](https://github.com/scala/scala3/issues/3005) for further discussion) and is orthogonal to
this SIP in that they would drop out of support for lazy parameters more generally, as described in
[this Scala ticket](https://github.com/scala/bug/issues/240).

Expand Down
2 changes: 1 addition & 1 deletion _sips/sips/clause-interleaving.md
Original file line number Diff line number Diff line change
Expand Up @@ -167,7 +167,7 @@ As discussed above, we may want to consider generalizing class parameter lists a

## Related work
* Pre-SIP: [https://contributors.scala-lang.org/t/clause-interweaving-allowing-def-f-t-x-t-u-y-u/5525](https://contributors.scala-lang.org/t/clause-interweaving-allowing-def-f-t-x-t-u-y-u/5525)
* An implementation of the proposal is available as a pull request at [https://github.com/lampepfl/dotty/pull/14019](https://github.com/lampepfl/dotty/pull/14019)
* An implementation of the proposal is available as a pull request at [https://github.com/scala/scala3/pull/14019](https://github.com/scala/scala3/pull/14019)

## FAQ
Currently empty.
4 changes: 2 additions & 2 deletions _sips/sips/fewer-braces.md
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ If there would be code using these idioms, it can be rewritten quite simply to a

### Tooling

Since this affects parsing, the scalameta parser and any other parser used in an IDE will also need to be updated. The necessary changes to the Scala 3 parser were made here: https://github.com/lampepfl/dotty/pull/15273/commits. The commit that embodies the core change set is here: https://github.com/lampepfl/dotty/pull/15273/commits/421bdd660b0456c2ff1ae386f032c41bb1e0212a.
Since this affects parsing, the scalameta parser and any other parser used in an IDE will also need to be updated. The necessary changes to the Scala 3 parser were made here: https://github.com/scala/scala3/pull/15273/commits. The commit that embodies the core change set is here: https://github.com/scala/scala3/pull/15273/commits/421bdd660b0456c2ff1ae386f032c41bb1e0212a.

### Handling Edge Cases

Expand Down Expand Up @@ -288,7 +288,7 @@ This is a tradeoff between conciseness and consistency. In the interest of minim

- Doc page for proposed change: https://dotty.epfl.ch/docs/reference/other-new-features/indentation.html#variant-indentation-marker--for-arguments

- Merged PR implementing the proposal under experimental flag: https://github.com/lampepfl/dotty/pull/15273/commits/421bdd660b0456c2ff1ae386f032c41bb1e0212a
- Merged PR implementing the proposal under experimental flag: https://github.com/scala/scala3/pull/15273/commits/421bdd660b0456c2ff1ae386f032c41bb1e0212a

- Latest discussion on contributors (there were several before when we discussed indentation in general): https://contributors.scala-lang.org/t/make-fewerbraces-available-outside-snapshot-releases/5024/166

Expand Down
2 changes: 1 addition & 1 deletion _sips/sips/interpolation-quote-escape.md
Original file line number Diff line number Diff line change
Expand Up @@ -129,4 +129,4 @@ proposals.
[^4]: https://github.com/scala/bug/issues/6476#issuecomment-292412577 "@retronym said: +1 to s"$"". Because it doesn't compile today, we don't risk changing the meaning of existing programs."
[^5]: https://github.com/Scala/Scala/pull/6953/files#diff-0023b3bfa053fb16603156b785efa7ad ""
[^6]: https://github.com/Scala/Scala/pull/4308 "SI-6476 Accept escaped quotes in interp strings"
[^7]: https://github.com/lampepfl/dotty/pull/7486 "PR in dotty"
[^7]: https://github.com/scala/scala3/pull/7486 "PR in dotty"
4 changes: 2 additions & 2 deletions _sips/sips/match-types-spec.md
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ It is however not possible to guarantee that property for *all* cases, since the
#### Preamble

Some of the concepts mentioned here are defined in the existing Scala 3 specification draft.
That draft can be found in the dotty repository at https://github.com/lampepfl/dotty/tree/main/docs/_spec.
That draft can be found in the dotty repository at https://github.com/scala/scala3/tree/main/docs/_spec.
It is not rendered anywhere yet, though.

Here are some of the relevant concepts that are perhaps lesser-known:
Expand Down Expand Up @@ -583,7 +583,7 @@ Notable prior work related to this proposal includes:
- [Current reference page for Scala 3 match types](https://dotty.epfl.ch/docs/reference/new-types/match-types.html)
- [Abstractions for Type-Level Programming](https://infoscience.epfl.ch/record/294024), Olivier Blanvillain, Chapter 4 (Match Types)
- ["Pre-Sip" discussion in the Contributors forum](https://contributors.scala-lang.org/t/pre-sip-proper-specification-for-match-types/6265) (submitted at the same time as this SIP document)
- [PR with the proposed implementation](https://github.com/lampepfl/dotty/pull/18262)
- [PR with the proposed implementation](https://github.com/scala/scala3/pull/18262)

## FAQ

Expand Down
2 changes: 1 addition & 1 deletion _sips/sips/multi-source-extension-overloads.md
Original file line number Diff line number Diff line change
Expand Up @@ -226,7 +226,7 @@ A number of alternatives were mentioned in [the Contributors thread](https://con
## Related work

- [Contributors thread acting as de facto Pre-SIP](https://contributors.scala-lang.org/t/change-shadowing-mechanism-of-extension-methods-for-on-par-implicit-class-behavior/5831)
- [Pull Request in dotty](https://github.com/lampepfl/dotty/pull/17050) to support it under an experimental import
- [Pull Request in dotty](https://github.com/scala/scala3/pull/17050) to support it under an experimental import

## FAQ

Expand Down
2 changes: 1 addition & 1 deletion _sips/sips/named-tuples.md
Original file line number Diff line number Diff line change
Expand Up @@ -382,7 +382,7 @@ This section should list prior work related to the proposal, notably:

- [SIP 43 on Pattern Matching with Named Fields](https://github.com/scala/improvement-proposals/pull/44)

- [Experimental Implementation](https://github.com/lampepfl/dotty/pull/19174)
- [Experimental Implementation](https://github.com/scala/scala3/pull/19174)

## FAQ

Expand Down
2 changes: 1 addition & 1 deletion _sips/sips/polymorphic-eta-expansion.md
Original file line number Diff line number Diff line change
Expand Up @@ -420,7 +420,7 @@ No other alternatives have been imagined, the similarity between this proposal a
- If there is already a proof-of-concept implementation, a link to it will be welcome here. -->

* Pre-SIP: https://contributors.scala-lang.org/t/polymorphic-eta-expansion/5516
* A naive implementation can be found at https://github.com/lampepfl/dotty/pull/14015 (it is more general than this proposal and thus breaks compatibility)
* A naive implementation can be found at https://github.com/scala/scala3/pull/14015 (it is more general than this proposal and thus breaks compatibility)
* A compatibility-preserving implementation is in development.


Expand Down
2 changes: 1 addition & 1 deletion _sips/sips/priority-based-infix-type-precedence.md
Original file line number Diff line number Diff line change
Expand Up @@ -137,7 +137,7 @@ However, it is very unlikely that such interaction would occur.

**Related Issues**

* [Dotty Issue #1961](https://github.com/lampepfl/dotty/issues/1961)
* [Dotty Issue #1961](https://github.com/scala/scala3/issues/1961)


## Backward Compatibility
Expand Down
8 changes: 4 additions & 4 deletions _sips/sips/quote-pattern-type-variable-syntax.md
Original file line number Diff line number Diff line change
Expand Up @@ -61,11 +61,11 @@ We want to be able to set the bounds of type variables to be able to match again
```scala
case '[ head *: tail ] => h[tail]
```
See [https://github.com/lampepfl/dotty/issues/11738](https://github.com/lampepfl/dotty/issues/11738).
See [https://github.com/scala/scala3/issues/11738](https://github.com/scala/scala3/issues/11738).

### Support matching on any kind of type
We want to match against higher-kinded (or `AnyKind`) types. This is not possible due to the default upper bound of `Any`.
See [https://github.com/lampepfl/dotty/issues/10864](https://github.com/lampepfl/dotty/issues/10864).
See [https://github.com/scala/scala3/issues/10864](https://github.com/scala/scala3/issues/10864).

### Support multiple references to the same type in quoted type patterns
We want to be able to match using several references to the same type variable.
Expand Down Expand Up @@ -137,8 +137,8 @@ TASTy only contains explicit type variable definitions, and this encoding would

## Related work

* Proof of concept of type variable syntax: [https://github.com/lampepfl/dotty/pull/16910](https://github.com/lampepfl/dotty/pull/16910)
* Proof of concept of backticks (only interested in the first bullet point): [https://github.com/lampepfl/dotty/pull/16935](https://github.com/lampepfl/dotty/pull/16935)
* Proof of concept of type variable syntax: [https://github.com/scala/scala3/pull/16910](https://github.com/scala/scala3/pull/16910)
* Proof of concept of backticks (only interested in the first bullet point): [https://github.com/scala/scala3/pull/16935](https://github.com/scala/scala3/pull/16935)
* Implementation: [https://github.com/scala/scala3/pull/17362](https://github.com/scala/scala3/pull/17362)
* Stabilized implementation: [https://github.com/scala/scala3/pull/18574](https://github.com/scala/scala3/pull/18574)

Expand Down
2 changes: 1 addition & 1 deletion _sips/sips/trait-parameters.md
Original file line number Diff line number Diff line change
Expand Up @@ -69,4 +69,4 @@ the evaluation order would be `e1`, initializer of `T`, `e2`, initializer of `V`

## See Also ##

[Dotty Issue #640](https://github.com/lampepfl/dotty/issues/640)
[Dotty Issue #640](https://github.com/scala/scala3/issues/640)