From 8780d2c971c95b23f704155f30515fd6878edb28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Oliver=20Bra=C4=8Devac?= Date: Sat, 16 Aug 2025 16:04:36 +0200 Subject: [PATCH] Fix broken links in separation-checking.md --- .../reference/experimental/capture-checking/how-to-use.md | 4 +--- .../experimental/capture-checking/separation-checking.md | 4 ++-- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/docs/_docs/reference/experimental/capture-checking/how-to-use.md b/docs/_docs/reference/experimental/capture-checking/how-to-use.md index d08125dc3fc8..e3bd2725ce73 100644 --- a/docs/_docs/reference/experimental/capture-checking/how-to-use.md +++ b/docs/_docs/reference/experimental/capture-checking/how-to-use.md @@ -14,6 +14,4 @@ The following options are relevant for capture checking. - **-Vprint:cc** Prints the program with capturing types as inferred by capture checking. - **-Ycc-verbose** Prints capabilities and capturing types in more detail. - - **-Ycc-debug** Gives more detailed, implementation-oriented information about capture checking, as described in the next section. - - The implementation supporting capture checking with these options is currently in branch `cc-experiment` on dotty.epfl.ch. + - **-Ycc-debug** Gives more detailed, implementation-oriented information about capture checking, as described in the next section. \ No newline at end of file diff --git a/docs/_docs/reference/experimental/capture-checking/separation-checking.md b/docs/_docs/reference/experimental/capture-checking/separation-checking.md index 6bb0fd3bf47c..44c3e2b49986 100644 --- a/docs/_docs/reference/experimental/capture-checking/separation-checking.md +++ b/docs/_docs/reference/experimental/capture-checking/separation-checking.md @@ -45,7 +45,7 @@ So, effectively, anything that can be updated must be unaliased. ## Capability Kinds A capability is called - - _shared_ if it is [classified](../classifiers.md) as a `SharedCapability` + - _shared_ if it is [classified](classifiers.md) as a `SharedCapability` - _exclusive_ otherwise. ## The Mutable Trait @@ -54,7 +54,7 @@ We introduce a new trait ```scala trait Mutable extends ExclusiveCapability, Classifier ``` -It is used as a [classifier](../classifiers.md) trait for types that define _update methods_ using +It is used as a [classifier](classifiers.md) trait for types that define _update methods_ using a new soft modifier `update`. **Example:**