Skip to content

Commit

Permalink
Drop mention of cc-experiment in docs
Browse files Browse the repository at this point in the history
  • Loading branch information
odersky committed Aug 17, 2022
1 parent 4825230 commit ea72b6b
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions docs/_docs/reference/experimental/cc.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,8 @@ layout: doc-page
title: "Capture Checking"
---

Capture checking is a research project that modifies the Scala type system to track references to capabilities in values. It is currently
implemented in an experimental branch [cc-experiment](https://github.com/lampepfl/dotty/tree/cc-experiment) in the dotty
repo and can be enabled on this branch with a `-Ycc` compiler option.
Capture checking is a research project that modifies the Scala type system to track references to capabilities in values. It can be enabled with a `-Ycc` compiler option.
At present, capture checking is still highly experimental and unstable.

To get an idea what capture checking can do, let's start with a small example:
```scala
Expand Down

0 comments on commit ea72b6b

Please sign in to comment.