Mikołaj Fornal
Mikołaj Fornal
It's not present in Scala 3: https://docs.scala-lang.org/scala3/guides/migration/options-lookup.html
This works fine using java 8 (`scala-cli doc i18231.scala --jvm 8`) but fails with newer (`scala-cli doc i18231.scala --jvm 11`) `Deprecated` annotation contains 2 new fields since java 9 (`since`...
Underlying issue is most likely this: https://github.com/scala/scala3/issues/19951
Hi, sorry for the delay, I've somehow missed the notification. I'll get to this ASAP.
This looks good, but to add new warning without flag we need to wait for 3.5.0. For now, we can hide this behind a flag, eg. `-Wcheck-comments`. Would you be...
Due to @jchyb temporal unavailability, I've been asked to resolve conflicts here. (I've rebased onto dotty-staging main and one conflict remains, but it can be easily solved in web editor)
Okay, I've rebased on lampepfl main
There's one more thing to fix. Changes in this PR uncovered some bugs in rendering of `this.type` in some places. I was busy in January, but I'll be finishing this...
Those new changes seem to be working fine. It's a bit unfortunate that we have to render `Documentation.this.T` instead of `T` (this effect will be also visible in some places...
We may put this as a temporary fix in `SectionRenderingExtension.scala`: ```scala val id = idGenerator.synchronized: idGenerator.getId(headerText + ifSuffixStr) ``` Not sure how much this will affect performance, but I guess...