Skip to content
New issue

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

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

Already on GitHub? # to your account

Fill in "Changes in type checking/inference" sections #10759

Open
odersky opened this issue Dec 11, 2020 · 3 comments
Open

Fill in "Changes in type checking/inference" sections #10759

odersky opened this issue Dec 11, 2020 · 3 comments

Comments

@odersky
Copy link
Contributor

odersky commented Dec 11, 2020

Right now the reference contains two sections under "Changed Features"

  • Changes in Type Checking
  • Changes in Type Inference

The first is empty and the second just points to a video of a conference talk by @smarter.

We should either drop these sections or fill them with material. If we fill in material then the topic of target-typed new expressions should go into Changes in Type Inference.

@odersky odersky added this to the 3.0.0-RC1 milestone Dec 11, 2020
@odersky odersky changed the title Fill in changes in type checking/inference Fill in "Changes in type checking/inference" sections Dec 11, 2020
@anatoliykmetyuk anatoliykmetyuk modified the milestones: 3.0.0-RC1, 3.0.0-RC2 Feb 11, 2021
@anatoliykmetyuk anatoliykmetyuk removed this from the 3.0.0-RC2 milestone Mar 15, 2021
@abgruszecki
Copy link
Contributor

@odersky @b-studios do we want to keep this issue around?

ckipp01 added a commit to ckipp01/dotty that referenced this issue May 14, 2023
This relates to scala#10759. Just as
a general rule of thumb, I don't think we should have fully empty pages
in documentation like this. It's not a great look to the outside world.

[skip community_build]

refs: scala#10759
@ckipp01
Copy link
Member

ckipp01 commented May 14, 2023

I still think we should keep this open as having this section filled out would be nice (unless we do have it documented somewhere else. I did create #17494 just to remove that empty page, which really shouldn't be live.

ckipp01 added a commit to ckipp01/dotty that referenced this issue May 14, 2023
This relates to scala#10759. Just as
a general rule of thumb, I don't think we should have fully empty pages
in documentation like this. It's not a great look to the outside world.

[skip community_build]

refs: scala#10759
@julienrf
Copy link
Contributor

@smarter Is this something you could help with?

WojciechMazur pushed a commit that referenced this issue May 26, 2023
This relates to #10759. Just as
a general rule of thumb, I don't think we should have fully empty pages
in documentation like this. It's not a great look to the outside world.

[skip community_build]

refs: #10759
Kordyjan pushed a commit that referenced this issue Nov 16, 2023
This relates to #10759. Just as
a general rule of thumb, I don't think we should have fully empty pages
in documentation like this. It's not a great look to the outside world.

[skip community_build]

refs: #10759
[Cherry-picked a682211]
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

No branches or pull requests

5 participants