Demo: Global language imports in snippets

Author: bracevac

docs/_docs/reference/experimental/capture-checking/basics.md

@@ -7,6 +7,7 @@ nightlyOf: https://docs.scala-lang.org/scala3/reference/experimental/capture-che
 ## Introduction
 
 ```scala sc-hidden sc-name:cc-context
+import language.experimental.captureChecking
 import caps.*
 ```
 

docs/_docs/reference/experimental/capture-checking/mutability.md

@@ -4,6 +4,11 @@ title: "Stateful Capabilities"
 nightlyOf: https://docs.scala-lang.org/scala3/reference/experimental/capture-checking/mutability.html
 ---
 
+```scala sc-hidden sc-name:mut-context
+import language.experimental.captureChecking
+import language.experimental.separationChecking
+```
+
 ## Introduction
 
 An important class of effects represents accesses to mutable variables and mutable data structures. This is intimately tied with the concept of _program state_. Stateful capabilities are capabilities that allow to consult and change the program state.
@@ -13,7 +18,7 @@ We distinguish two kinds of accesses: full access that allows state changes and
 A common kind of stateful capabilities represent mutable variables that can be read and written.
 These mutable data structures are expressed with the marker trait `caps.Mutable`.
 For instance, consider a simple reference cell:
-```scala
+```scala sc-compile-with:mut-context
 import caps.Mutable
 
 class Ref[T](init: T) extends Mutable:
@@ -46,7 +51,7 @@ These classes typically contain mutable variables and/or _update methods_.
 Update methods are declared using a new soft modifier `update`.
 
 **Example:**
-```scala
+```scala sc-compile-with:mut-context
 //{
 import caps.*
 //}

docs/_docs/reference/experimental/capture-checking/safe.md

@@ -12,7 +12,11 @@ Full Scala 3 has elements that are incompatible with capability safety, such as
 
 To distinguish between these two usage modes, there is a safe language subset that can be specified with a command-line option or a language import:
 ```scala sc:nocompile
-  import language.experimental.safe
+import language.experimental.safe
+```
+
+```scala sc-hidden sc-name:safe-context
+import language.experimental.safe
 ```
 
 It makes sense for agentic tooling to subject all compilations of agent-generated code to be compiled in _safe mode_ using this language import. Safe mode imposes the following restrictions:
@@ -38,6 +42,7 @@ is done, the library module can be made available for use by safe code.
 This scheme is supported by a new `@assumeSafe` annotation, available in
 module `caps`.
 Modules tagged with this annotation are assumed to be callable from  agent-generated code. `@assumeSafe` comes with none of the restrictions that `safe` implies. Instead it is the obligation of the programmer to verify that the module is indeed safe. For instance caching a function results could be implemented like this:
+<!-- FIXME: the below is rejected by the compiler! -->
 ```scala sc:nocompile
 import caps.unsafe.untrackedCaptures
 import caps.assumeSafe

project/Build.scala

@@ -2001,10 +2001,7 @@ object Build {
             .add(GenerateAPI(false))
             .add(SnippetCompiler(List(
               s"${docs.getAbsolutePath}/_docs/reference/enums=compile",
-              s"$ccDocs=compile|-language:experimental.captureChecking",
-              s"$ccDocs/separation-checking=compile|-language:experimental.captureChecking|-language:experimental.separationChecking",
-              s"$ccDocs/mutability=compile|-language:experimental.captureChecking|-language:experimental.separationChecking",
-              s"$ccDocs/safe=compile|-language:experimental.safe",
+              s"$ccDocs=compile",
             )))
         }
 
@@ -2952,10 +2949,7 @@ object ScaladocConfigs {
       .add(SnippetCompiler(
         snippetCompilerTargets(s"$stdlib/src") ++ List(
         "docs/_docs/reference/enums=compile",
-        "docs/_docs/reference/experimental/capture-checking=compile|-language:experimental.captureChecking",
-        "docs/_docs/reference/experimental/capture-checking/separation-checking=compile|-language:experimental.captureChecking|-language:experimental.separationChecking",
-        "docs/_docs/reference/experimental/capture-checking/mutability=compile|-language:experimental.captureChecking|-language:experimental.separationChecking",
-        "docs/_docs/reference/experimental/capture-checking/safe=compile|-language:experimental.safe",
+        "docs/_docs/reference/experimental/capture-checking=compile",
       )))
       .add(SiteRoot("docs"))
       .add(ApiSubdirectory(true))