From 4bb02eba0d9b370c2a787c21b9683292990a9504 Mon Sep 17 00:00:00 2001 From: xuwei-k <6b656e6a69@gmail.com> Date: Sun, 8 Jun 2025 08:05:42 +0900 Subject: [PATCH] Update scala3 github link --- _overviews/scala3-scaladoc/settings.md | 2 +- _sips/sips/alternative-bind-variables.md | 2 +- _sips/sips/better-fors.md | 4 ++-- _sips/sips/binary-api.md | 10 +++++----- _sips/sips/byname-implicits.md | 4 ++-- _sips/sips/clause-interleaving.md | 2 +- _sips/sips/fewer-braces.md | 4 ++-- _sips/sips/interpolation-quote-escape.md | 2 +- _sips/sips/match-types-spec.md | 4 ++-- _sips/sips/multi-source-extension-overloads.md | 2 +- _sips/sips/named-tuples.md | 2 +- _sips/sips/polymorphic-eta-expansion.md | 2 +- _sips/sips/priority-based-infix-type-precedence.md | 2 +- _sips/sips/quote-pattern-type-variable-syntax.md | 8 ++++---- _sips/sips/trait-parameters.md | 2 +- 15 files changed, 26 insertions(+), 26 deletions(-) diff --git a/_overviews/scala3-scaladoc/settings.md b/_overviews/scala3-scaladoc/settings.md index 3b58df7bae..1fae4d3d5f 100644 --- a/_overviews/scala3-scaladoc/settings.md +++ b/_overviews/scala3-scaladoc/settings.md @@ -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 diff --git a/_sips/sips/alternative-bind-variables.md b/_sips/sips/alternative-bind-variables.md index 55e243dbd6..ab6899a026 100644 --- a/_sips/sips/alternative-bind-variables.md +++ b/_sips/sips/alternative-bind-variables.md @@ -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 diff --git a/_sips/sips/better-fors.md b/_sips/sips/better-fors.md index 54ba1b8e31..10cfa733ea 100644 --- a/_sips/sips/better-fors.md +++ b/_sips/sips/better-fors.md @@ -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 diff --git a/_sips/sips/binary-api.md b/_sips/sips/binary-api.md index 2e532ffc3f..e94bf85a54 100644 --- a/_sips/sips/binary-api.md +++ b/_sips/sips/binary-api.md @@ -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 @@ -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 @@ -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] diff --git a/_sips/sips/byname-implicits.md b/_sips/sips/byname-implicits.md index 24b701ee20..fd63269068 100644 --- a/_sips/sips/byname-implicits.md +++ b/_sips/sips/byname-implicits.md @@ -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 @@ -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). diff --git a/_sips/sips/clause-interleaving.md b/_sips/sips/clause-interleaving.md index 5e24c4f700..e9809815e2 100644 --- a/_sips/sips/clause-interleaving.md +++ b/_sips/sips/clause-interleaving.md @@ -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. diff --git a/_sips/sips/fewer-braces.md b/_sips/sips/fewer-braces.md index e220480796..321f665233 100644 --- a/_sips/sips/fewer-braces.md +++ b/_sips/sips/fewer-braces.md @@ -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 @@ -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 diff --git a/_sips/sips/interpolation-quote-escape.md b/_sips/sips/interpolation-quote-escape.md index 4602cbaa5c..6f0398ce33 100644 --- a/_sips/sips/interpolation-quote-escape.md +++ b/_sips/sips/interpolation-quote-escape.md @@ -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" diff --git a/_sips/sips/match-types-spec.md b/_sips/sips/match-types-spec.md index 2025da63eb..049fad9415 100644 --- a/_sips/sips/match-types-spec.md +++ b/_sips/sips/match-types-spec.md @@ -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: @@ -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 diff --git a/_sips/sips/multi-source-extension-overloads.md b/_sips/sips/multi-source-extension-overloads.md index 2fd0bd096e..fdcfd7050b 100644 --- a/_sips/sips/multi-source-extension-overloads.md +++ b/_sips/sips/multi-source-extension-overloads.md @@ -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 diff --git a/_sips/sips/named-tuples.md b/_sips/sips/named-tuples.md index 995d409031..431107cd14 100644 --- a/_sips/sips/named-tuples.md +++ b/_sips/sips/named-tuples.md @@ -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 diff --git a/_sips/sips/polymorphic-eta-expansion.md b/_sips/sips/polymorphic-eta-expansion.md index 4883a5469c..4099e05cc8 100644 --- a/_sips/sips/polymorphic-eta-expansion.md +++ b/_sips/sips/polymorphic-eta-expansion.md @@ -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. diff --git a/_sips/sips/priority-based-infix-type-precedence.md b/_sips/sips/priority-based-infix-type-precedence.md index 55c8af6566..a67d84dbb5 100644 --- a/_sips/sips/priority-based-infix-type-precedence.md +++ b/_sips/sips/priority-based-infix-type-precedence.md @@ -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 diff --git a/_sips/sips/quote-pattern-type-variable-syntax.md b/_sips/sips/quote-pattern-type-variable-syntax.md index f8a624f971..64f58fafb8 100644 --- a/_sips/sips/quote-pattern-type-variable-syntax.md +++ b/_sips/sips/quote-pattern-type-variable-syntax.md @@ -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. @@ -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) diff --git a/_sips/sips/trait-parameters.md b/_sips/sips/trait-parameters.md index 93bcd8bf70..633f0c0b73 100644 --- a/_sips/sips/trait-parameters.md +++ b/_sips/sips/trait-parameters.md @@ -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)