Erased terms doc not exposed

[japgolly]

I see that there is https://github.com/lampepfl/dotty/tree/master/docs/docs/reference/metaprogramming/erased-terms.md but it's not accessible from https://dotty.epfl.ch/docs/reference/metaprogramming/toc.html

[nicolasstucki]

That is intentional. The implementation of erased is outdated as it does not take into account new language features such as given. We would only expose it once this feature is ready for use.

We delayed work on it because it was not part of the features that would appear in 3.0.

[japgolly]

Ahhhhh ok. So is it planned for 3.1 then?

…

On Fri, 18 Dec 2020 at 20:11, Nicolas Stucki ***@***.***> wrote: That is intentional. The implementation of erased is outdated as it does not take into account new language features such as given. We would only expose it once this feature is ready for use. We delayed work on it because it was not part of the features that would appear in 3.0. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#10847 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AABRRN26YZDDT2SSBBBLBFLSVMMEBANCNFSM4VAPHFRQ> .

[nicolasstucki]

It is for 3.x for some x. If time allows it, we aim to have it stabilized 3.1 but still under the flag.

[abgruszecki]

@nicolasstucki do we want to keep this issue around then?

[nicolasstucki]

We need to find a place to add a link to those docs. Let's keep it for now.

[michelou]

@japgolly But it's accessible (as other unreachable sections) in the PDF document scala3_reference.pdf (internal draft) I generate/update in PR #10767, #10826 and #10860 (more changes are pending) 😁

[japgolly]

np and thanks for the info 🙂