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).

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).

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

* 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)

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.

* Implementationhttps://github.com/lampepfl/dotty/pull/16992

* Implementationhttps://github.com/scala/scala3/pull/16992

* 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]

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

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).

* 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)

Currently empty.

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.

- 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

[^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"

Some of the concepts mentioned here are defined in the existing Scala 3 specification draft.

That draft can be found in the dotty repository athttps://github.com/lampepfl/dotty/tree/main/docs/_spec.

That draft can be found in the dotty repository athttps://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:

-[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)

-[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