Skip to content

Commit cc5b61c

Browse files
committed
Fix links in experimental cc docs
Files should also be listed in sidebar.yml.
1 parent 7e7e280 commit cc5b61c

File tree

5 files changed

+19
-5
lines changed

5 files changed

+19
-5
lines changed

docs/_docs/reference/experimental/cc-advanced.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,4 +75,4 @@ By leveraging capability polymorphism, capability members, and path-dependent ca
7575
* `Label`s store the free capabilities `C` of the `block` passed to `boundary` in their capability member `Fv`.
7676
* When suspending on a given label, the suspension handler can capture at most the capabilities that occur freely at the `boundary` that introduced the label. That prevents mentioning nested bound labels.
7777

78-
[Back to Capture Checking](cc.md)
78+
[Back to Capability Polymorphism](cc-polymorphism.md)

docs/_docs/reference/experimental/cc-classifiers.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,7 @@ Here is a graph showing the hierarchy of predefined classifier traits:
6363
Control Mutable
6464
```
6565
At the top of the hierarchy, we distinguish between _shared_ and _exclusive_ capabilities in two classifier traits `SharedCapability` and `ExclusiveCapability`. All capability classes we have seen so far are shared.
66-
`ExclusiveCapability` is a base trait for capabilities that allow only un-aliased access to the data they represent, with the rules governed by [separation checking](../separation-checking.html). Separation checking is currently an optional extension of capture checking, enabled by a different language import. Since `Capability` is a sealed trait, all capability classes are either shared or exclusive.
66+
`ExclusiveCapability` is a base trait for capabilities that allow only un-aliased access to the data they represent, with the rules governed by [separation checking](cc-separation-checking.md). Separation checking is currently an optional extension of capture checking, enabled by a different language import. Since `Capability` is a sealed trait, all capability classes are either shared or exclusive.
6767

6868
`Control` capabilities are shared. This means they cannot directly or indirectly capture exclusive capabilities such as capabilities that control access to mutable state. Typical `Control` capabilities are:
6969

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
# TODO

docs/_docs/reference/experimental/cc.md

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -91,9 +91,6 @@ try-with-resources patterns, it can also be a key part to the solutions of many
9191

9292
The following sections explain in detail how capture checking works in Scala 3.
9393

94-
Overvow
95-
96-
9794

9895
## Capabilities and Capturing Types
9996

docs/sidebar.yml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -163,8 +163,24 @@ subsection:
163163
- page: reference/experimental/main-annotation.md
164164
- page: reference/experimental/into.md
165165
- page: reference/experimental/cc.md
166+
- page: reference/experimental/cc-classes.md
167+
hidden: true
168+
- page: reference/experimental/cc-polymorphism.md
169+
hidden: true
166170
- page: reference/experimental/cc-advanced.md
167171
hidden: true
172+
- page: reference/experimental/cc-scoped-caps.md
173+
hidden: true
174+
- page: reference/experimental/cc-classifiers.md
175+
hidden: true
176+
- page: reference/experimental/cc-checked-exceptions.md
177+
hidden: true
178+
- page: reference/experimental/cc-separation-checking.md
179+
hidden: true
180+
- page: reference/experimental/cc-how-to-use.md
181+
hidden: true
182+
- page: reference/experimental/cc-internals.md
183+
hidden: true
168184
- page: reference/experimental/purefuns.md
169185
- page: reference/experimental/tupled-function.md
170186
- page: reference/experimental/modularity.md

0 commit comments

Comments
 (0)