More doc fixes (outside contextual)

Author: odersky

docs/docs/contributing/debugging.md

@@ -88,7 +88,7 @@ But you can also do:
 assertPositioned(tree.reporting(s"Tree is: $result"))
 ```
 
-`def (a: A).reporting(f: given WrappedResult[T] => String, p: Printer = Printers.default): A` is defined on all types. The function `f` can be written without the argument since the argument is `given`. The `result` variable is a part of the `WrapperResult` – a tiny framework powering the `reporting` function. Basically, whenever you are using `reporting` on an object `A`, you can use the `result: A` variable from this function and it will be equal to the object you are calling `reporting` on.
+`def (a: A).reporting(f: WrappedResult[T] ?=> String, p: Printer = Printers.default): A` is defined on all types. The function `f` can be written without the argument since it is a context function`. The `result` variable is a part of the `WrapperResult` – a tiny framework powering the `reporting` function. Basically, whenever you are using `reporting` on an object `A`, you can use the `result: A` variable from this function and it will be equal to the object you are calling `reporting` on.
 
 ## Printing out trees after phases
 To print out the trees you are compiling after the FrontEnd (scanner, parser, namer, typer) phases:

docs/docs/reference/changed-features/eta-expansion-spec.md

@@ -50,11 +50,11 @@ val bar = foo // val bar: Int => Float = ...
 
 ## Automatic Eta-Expansion and query types
 
-A method with inferable parameters can be expanded to a value of query type by writing the expected query type explicitly.
+A method with context parameters can be expanded to a value of a context type by writing the expected context type explicitly.
 
 ```scala
-def foo(x: Int) given (p: Double): Float = ???
-val bar: given Double => Float = foo(3) // val bar: given Double => Float = ...
+def foo(x: Int)(using p: Double): Float = ???
+val bar: Double ?=> Float = foo(3)
 ```
 
 ## Rules

docs/docs/reference/contextual/derivation-macro.md

@@ -25,13 +25,13 @@ we need to implement a method `Eq.derived` on the companion object of `Eq` that
 produces a quoted instance for `Eq[T]`. Here is a possible signature,
 
 ```scala
-given derived[T: Type](using qctx: QuoteContext): Expr[Eq[T]]
+given derived[T: Type](using qctx: QuoteContext) as Expr[Eq[T]]
 ```
 
 and for comparison reasons we give the same signature we had with `inline`:
 
 ```scala
-inline given derived[T]: (m: Mirror.Of[T]) => Eq[T] = ???
+inline given derived[T] as (m: Mirror.Of[T]) => Eq[T] = ???
 ```
 
 Note, that since a type is used in a subsequent stage it will need to be lifted
@@ -41,7 +41,7 @@ from the signature. The body of the `derived` method is shown below:
 
 
 ```scala
-given derived[T: Type](using qctx: QuoteContext): Expr[Eq[T]] = {
+given derived[T: Type](using qctx: QuoteContext) as Expr[Eq[T]] = {
   import qctx.tasty.{_, given}
 
   val ev: Expr[Mirror.Of[T]] = summonExpr(using '[Mirror.Of[T]]).get
@@ -175,7 +175,7 @@ object Eq {
     case '[Unit] => Nil
   }
 
-  given derived[T: Type](using qctx: QuoteContext): Expr[Eq[T]] = {
+  given derived[T: Type](using qctx: QuoteContext) as Expr[Eq[T]] = {
     import qctx.tasty.{_, given}
 
     val ev: Expr[Mirror.Of[T]] = summonExpr(using '[Mirror.Of[T]]).get

docs/docs/reference/other-new-features/quoted-pattern-spec.md

@@ -12,7 +12,7 @@ Splices can be of two forms:
 * A splice `${ ... : Bind[T] }` that can be placed on names of `val`s, `var`s or `def`s
 
 ```scala
-def foo(x: Expr[Int]) given tasty.Reflect: Expr[Int] = x match {
+def foo(x: Expr[Int])(using tasty.Reflect): Expr[Int] = x match {
   case '{ val $a: Int = $x; (${Bind(`a`)}: Int) + 1 } => '{ $x + 1 } // TODO needs fix for #6328, `a` is currently not in scope while typing
 }
 ```
@@ -21,7 +21,7 @@ In the example above we have `$a` which provides a `Bind[Int]`, `$x` which provi
 Quoted patterns are transformed during typer to a call of `scala.internal.quoted.Expr.unapply` which splits the quoted code into the patterns and a reifiable quote that will be used as witnesses at runtime.
 
 ```scala
-def foo(x: Expr[Int]) given tasty.Reflect: Expr[Int] = x match {
+def foo(x: Expr[Int])(using tasty.Reflect): Expr[Int] = x match {
   case scala.internal.quoted.Expr.unapply[Tuple3[Bind[Int], Expr[Int], Expr[Int]]](Tuple3(a, x, Bind(`a`), y))('{ @patternBindHole val a: Int = patternHole[Int]; patternHole[Int] + 1 }) =>
 }
 ```