Add Phantom type docs #2519
Add Phantom type docs #2519
Conversation
docs/docs/reference/phantom-types.md
Outdated
| title: "Phantom Types" | ||
| --- | ||
|
|
||
| Phantom Types :ghost: |
There was a problem hiding this comment.
This will give you the title twice
docs/docs/reference/phantom-types.md
Outdated
| they live? The answer is in their own type universes bounded by their phantom `Any` and `Nothing`. | ||
| In fact we allow multiple phantom universes to exist. | ||
|
|
||
| ``` |
There was a problem hiding this comment.
The highlighting component might try to guess a language here - do ```none to suppress it if that's the case.
docs/sidebar.yml
Outdated
| @@ -3,6 +3,10 @@ sidebar: | |||
| url: blog/index.html | |||
| - title: Docs | |||
| url: docs/index.html | |||
| - title: Reference | |||
There was a problem hiding this comment.
Should we call this "Language Reference"? I'm guessing you're following suit on what @odersky is doing with his docs. Did we decide to change this yesterday?
There was a problem hiding this comment.
I will rebase on whatever the result of of the other one is.
nicolasstucki
force-pushed
the
phantom-doc-1
branch
from
ecf6ef5 to
1120228
Compare
nicolasstucki
force-pushed
the
phantom-doc-1
branch
from
71203f1 to
f0eeea3
Compare
|
Status of this? The main page currently 404s on linking to phantom types. |
When scala#2519 is merged, this change should be revisited.
Before scala#2519 is merged, this fix should be revisited
|
Fixed in: #2674 But this PR should update with the correct link on the landing page. |
nicolasstucki
force-pushed
the
phantom-doc-1
branch
from
f0eeea3 to
3e60d97
Compare
|
@felixmulder I updated the link and rebased. It should be ready to go in. |
nicolasstucki
force-pushed
the
phantom-doc-1
branch
from
3e60d97 to
a5eacd0
Compare
|
@nicolasstucki LGTM |
|
@biboudis - you can merge things if you give your "LGTM", Aggy :) |
No description provided.