More doc pages updates

odersky · odersky · commit c45b7c909399 · 2021-01-20T16:37:18.000+01:00
diff --git a/docs/docs/internals/explicit-nulls.md b/docs/docs/internals/explicit-nulls.md
@@ -111,7 +111,7 @@ The reason for casting to `x.type & T`, as opposed to just `T`, is that it allow
 support flow typing for paths of length greater than one.
 
 ```scala
-abstract class Node:
+abstract class Node with
    val x: String
    val next: Node | Null
 
diff --git a/docs/docs/reference/changed-features/implicit-resolution.md b/docs/docs/reference/changed-features/implicit-resolution.md
@@ -44,7 +44,7 @@ no longer applies.
 
   given a: A = A()
 
-  object o:
+  object o with
      given b: B = B()
      type C
 ```
diff --git a/docs/docs/reference/changed-features/numeric-literals.md b/docs/docs/reference/changed-features/numeric-literals.md
@@ -86,7 +86,7 @@ whole numbers with a given radix, for numbers with a decimal point, and for
 numbers that can have both a decimal point and an exponent:
 
 ```scala
-object FromDigits:
+object FromDigits with
 
    /** A subclass of `FromDigits` that also allows to convert whole
     *  number literals with a radix other than 10
@@ -203,7 +203,7 @@ into a macro, i.e. make it an inline method with a splice as right-hand side.
 To do this, replace the `FromDigits` instance in the `BigFloat` object by the following two definitions:
 
 ```scala
-object BigFloat:
+object BigFloat with
    ...
 
    class FromDigits extends FromDigits.Floating[BigFloat] with
diff --git a/docs/docs/reference/changed-features/pattern-matching.md b/docs/docs/reference/changed-features/pattern-matching.md
@@ -100,7 +100,7 @@ For example:
 <!-- To be kept in sync with tests/new/patmat-spec.scala -->
 
 ```scala
-object Even:
+object Even with
    def unapply(s: String): Boolean = s.size % 2 == 0
 
 "even" match
@@ -130,7 +130,7 @@ class FirstChars(s: String) extends Product with
    def productArity: Int = ???
    def productElement(n: Int): Any = ???
 
-object FirstChars:
+object FirstChars with
    def unapply(s: String): FirstChars = new FirstChars(s)
 
 "Hi!" match
@@ -151,7 +151,7 @@ class Nat(val x: Int) with
    def get: Int = x
    def isEmpty = x < 0
 
-object Nat:
+object Nat with
    def unapply(x: Int): Nat = new Nat(x)
 
 5 match
@@ -167,7 +167,7 @@ object Nat:
 - Pattern-matching on exactly `N` patterns with types `P1, P2, ..., PN`
 
 ```Scala
-object ProdEmpty:
+object ProdEmpty with
    def _1: Int = ???
    def _2: String = ???
    def isEmpty = true
@@ -199,7 +199,7 @@ type X = {
 <!-- To be kept in sync with tests/new/patmat-spec.scala -->
 
 ```scala
-object CharList:
+object CharList with
    def unapplySeq(s: String): Option[Seq[Char]] = Some(s.toList)
 
 "example" match
@@ -221,7 +221,7 @@ object CharList:
 
 ```Scala
 class Foo(val name: String, val children: Int *)
-object Foo:
+object Foo with
    def unapplySeq(f: Foo): Option[(String, Seq[Int])] =
       Some((f.name, f.children))
 
diff --git a/docs/docs/reference/changed-features/structural-types.md b/docs/docs/reference/changed-features/structural-types.md
@@ -152,7 +152,7 @@ defines the necessary `selectDynamic` member.
 `Vehicle` could also extend some other subclass of `scala.Selectable` that implements `selectDynamic` and `applyDynamic` differently. But if it does not extend a `Selectable` at all, the code would no longer typecheck:
 
 ```scala
-trait Vehicle:
+trait Vehicle with
    val wheels: Int
 
 val i3 = new Vehicle: // i3: Vehicle
diff --git a/docs/docs/reference/contextual/context-functions.md b/docs/docs/reference/contextual/context-functions.md
@@ -116,7 +116,7 @@ With that setup, the table construction code above compiles and expands to:
 As a larger example, here is a way to define constructs for checking arbitrary postconditions using an extension method `ensuring` so that the checked result can be referred to simply by `result`. The example combines opaque type aliases, context function types, and extension methods to provide a zero-overhead abstraction.
 
 ```scala
-object PostConditions:
+object PostConditions with
    opaque type WrappedResult[T] = T
 
    def result[T](using r: WrappedResult[T]): T = r
diff --git a/docs/docs/reference/contextual/derivation-macro.md b/docs/docs/reference/contextual/derivation-macro.md
@@ -142,7 +142,7 @@ import scala.quoted._
 trait Eq[T]:
    def eqv(x: T, y: T): Boolean
 
-object Eq:
+object Eq with
    given Eq[String] with
       def eqv(x: String, y: String) = x == y
 
@@ -195,7 +195,7 @@ object Eq:
    end derived
 end Eq
 
-object Macro3:
+object Macro3 with
    extension [T](inline x: T)
       inline def === (inline y: T)(using eq: Eq[T]): Boolean = eq.eqv(x, y)
 
diff --git a/docs/docs/reference/contextual/derivation.md b/docs/docs/reference/contextual/derivation.md
@@ -40,7 +40,7 @@ They also provide minimal term level infrastructure to allow higher level librar
 derivation support.
 
 ```scala
-sealed trait Mirror:
+sealed trait Mirror with
 
    /** the type being mirrored */
    type MirroredType
@@ -57,7 +57,7 @@ sealed trait Mirror:
    /** The names of the elements of the type */
    type MirroredElemLabels <: Tuple
 
-object Mirror:
+object Mirror with
 
    /** The Mirror for a product type */
    trait Product extends Mirror:
@@ -242,7 +242,7 @@ inline def summonAll[T <: Tuple]: List[Eq[_]] =
 trait Eq[T]:
    def eqv(x: T, y: T): Boolean
 
-object Eq:
+object Eq with
    given Eq[Int] with
       def eqv(x: Int, y: Int) = x == y
 
diff --git a/docs/docs/reference/contextual/given-imports.md b/docs/docs/reference/contextual/given-imports.md
@@ -6,12 +6,12 @@ title: "Importing Givens"
 A special form of import wildcard selector is used to import given instances. Example:
 
 ```scala
-object A:
+object A with
    class TC
    given tc: TC = ???
    def f(using TC) = ???
 
-object B:
+object B with
    import A._
    import A.given
    ...
@@ -22,7 +22,7 @@ of `A` _except_ the given instance `tc`. Conversely, the second import `import A
 The two import clauses can also be merged into one:
 
 ```scala
-object B:
+object B with
    import A.{given, _}
    ...
 ```
@@ -58,7 +58,7 @@ Importing all given instances of a parameterized type is expressed by wildcard a
 For instance, assuming the object
 
 ```scala
-object Instances:
+object Instances with
    given intOrd: Ordering[Int] = ...
    given listOrd[T: Ordering]: Ordering[List[T]] = ...
    given ec: ExecutionContext = ...
diff --git a/docs/docs/reference/contextual/multiversal-equality.md b/docs/docs/reference/contextual/multiversal-equality.md
@@ -54,7 +54,7 @@ import annotation.implicitNotFound
 @implicitNotFound("Values of types ${L} and ${R} cannot be compared with == or !=")
 sealed trait CanEqual[-L, -R]
 
-object CanEqual:
+object CanEqual with
    object derived extends CanEqual[Any, Any]
 ```
 
diff --git a/docs/docs/reference/dropped-features/delayed-init.md b/docs/docs/reference/dropped-features/delayed-init.md
@@ -20,7 +20,7 @@ for benchmarking! Also, if you want to access the command line arguments,
 you need to use an explicit `main` method for that.
 
 ```scala
-object Hello:
+object Hello with
    def main(args: Array[String]) =
       println(s"Hello, ${args(0)}")
 ```
diff --git a/docs/docs/reference/enums/adts.md b/docs/docs/reference/enums/adts.md
@@ -67,7 +67,7 @@ enum Option[+T] with
       case None => false
       case some => true
 
-object Option:
+object Option with
 
    def apply[T >: Null](x: T): Option[T] =
       if x == null then None else Some(x)
diff --git a/docs/docs/reference/enums/enums.md b/docs/docs/reference/enums/enums.md
@@ -6,7 +6,7 @@ title: "Enumerations"
 An enumeration is used to define a type consisting of a set of named values.
 
 ```scala
-enum Color:
+enum Color with
    case Red, Green, Blue
 ```
 
@@ -79,7 +79,7 @@ end Planet
 It is also possible to define an explicit companion object for an enum:
 
 ```scala
-object Planet:
+object Planet with
    def main(args: Array[String]) =
       val earthWeight = args(0).toDouble
       val mass = earthWeight / Earth.surfaceGravity
diff --git a/docs/docs/reference/metaprogramming/erased-terms.md b/docs/docs/reference/metaprogramming/erased-terms.md
@@ -20,7 +20,7 @@ final class Off extends State
 
 @implicitNotFound("State must be Off")
 class IsOff[S <: State]
-object IsOff:
+object IsOff with
    given isOff: IsOff[Off] = new IsOff[Off]
 
 class Machine[S <: State] with
@@ -118,14 +118,14 @@ final class Off extends State
 
 @implicitNotFound("State must be Off")
 class IsOff[S <: State]
-object IsOff:
+object IsOff with
    // will not be called at runtime for turnedOn, the
    // compiler will only require that this evidence exists
    given IsOff[Off] = new IsOff[Off]
 
 @implicitNotFound("State must be On")
 class IsOn[S <: State]
-object IsOn:
+object IsOn with
    // will not exist at runtime, the compiler will only
    // require that this evidence exists at compile time
    erased given IsOn[On] = new IsOn[On]
@@ -135,7 +135,7 @@ class Machine[S <: State] private () with
    def turnedOn(using erased ev: IsOff[S]): Machine[On] = new Machine[On]
    def turnedOff(using erased ev: IsOn[S]): Machine[Off] = new Machine[Off]
 
-object Machine:
+object Machine with
    def newMachine(): Machine[Off] = new Machine[Off]
 
 @main def test =
@@ -174,7 +174,7 @@ class Machine[S <: State] with
          case _: On  => new Machine[Off]
          case _: Off => error("Turning off an already turned off machine")
 
-object Machine:
+object Machine with
    def newMachine(): Machine[Off] =
       println("newMachine")
       new Machine[Off]
diff --git a/docs/docs/reference/metaprogramming/inline.md b/docs/docs/reference/metaprogramming/inline.md
@@ -9,10 +9,10 @@ title: Inline
 definition will be inlined at the point of use. Example:
 
 ```scala
-object Config:
+object Config with
    inline val logging = false
 
-object Logger:
+object Logger with
 
    private var indent = 0
 
@@ -235,7 +235,7 @@ inline val four: 4 = 4
 It is also possible to have inline vals of types that do not have a syntax, such as `Short(4)`.
 
 ```scala
-trait InlineConstants:
+trait InlineConstants with
    inline val myShort: Short
 
 object Constants extends InlineConstants:
diff --git a/docs/docs/reference/metaprogramming/macros-spec.md b/docs/docs/reference/metaprogramming/macros-spec.md
@@ -211,7 +211,7 @@ given AsFunction1[T, U]: Conversion[Expr[T => U], Expr[T] => Expr[U]] with
 ```
 This assumes an extractor
 ```scala
-object Lambda:
+object Lambda with
    def unapply[T, U](x: Expr[T => U]): Option[Expr[T] => Expr[U]]
 ```
 Once we allow inspection of code via extractors, it’s tempting to also
diff --git a/docs/docs/reference/metaprogramming/macros.md b/docs/docs/reference/metaprogramming/macros.md
@@ -168,7 +168,7 @@ In some cases we want to remove the lambda from the code, for this we provide th
 describing a function into a function mapping trees to trees.
 
 ```scala
-object Expr:
+object Expr with
    ...
    def betaReduce[...](...)(...): ... = ...
 ```
@@ -231,7 +231,7 @@ a compiler through staging.
 ```scala
 import scala.quoted._
 
-enum Exp:
+enum Exp with
    case Num(n: Int)
    case Plus(e1: Exp, e2: Exp)
    case Var(x: String)
@@ -284,7 +284,7 @@ The `Expr.apply` method is defined in package `quoted`:
 ```scala
 package quoted
 
-object Expr:
+object Expr with
    ...
    def apply[T: ToExpr](x: T)(using Quotes): Expr[T] =
       summon[ToExpr[T]].toExpr(x)
@@ -391,7 +391,7 @@ a macro library and a quoted program. For instance, here’s the `assert` macro
 again together with a program that calls `assert`.
 
 ```scala
-object Macros:
+object Macros with
 
    inline def assert(inline expr: Boolean): Unit =
       ${ assertImpl('expr) }
@@ -525,7 +525,7 @@ Assume we have two methods, one `map` that takes an `Expr[Array[T]]` and a
 function `f` and one `sum` that performs a sum by delegating to `map`.
 
 ```scala
-object Macros:
+object Macros with
 
    def map[T](arr: Expr[Array[T]], f: Expr[T] => Expr[Unit])
              (using Type[T], Quotes): Expr[Unit] = '{
diff --git a/docs/docs/reference/new-types/intersection-types.md b/docs/docs/reference/new-types/intersection-types.md
@@ -10,7 +10,7 @@ Used on types, the `&` operator creates an intersection type.
 The type `S & T` represents values that are of the type `S` and `T` at the same time.
 
 ```scala
-trait Resettable:
+trait Resettable with
    def reset(): Unit
 
 trait Growable[T]:
@@ -34,10 +34,10 @@ If a member appears in both `A` and `B`, its type in `A & B` is the intersection
 of its type in `A` and its type in `B`. For instance, assume the definitions:
 
 ```scala
-trait A:
+trait A with
    def children: List[A]
 
-trait B:
+trait B with
    def children: List[B]
 
 val x: A & B = new C
diff --git a/docs/docs/reference/other-new-features/creator-applications.md b/docs/docs/reference/other-new-features/creator-applications.md
@@ -20,7 +20,7 @@ This works since a companion object with two `apply` methods
 is generated together with the class. The object looks like this:
 
 ```scala
-object StringBuilder:
+object StringBuilder with
    inline def apply(s: String): StringBuilder = new StringBuilder(s)
    inline def apply(): StringBuilder = new StringBuilder()
 ```
diff --git a/docs/docs/reference/other-new-features/indentation.md b/docs/docs/reference/other-new-features/indentation.md
diff --git a/docs/docs/reference/other-new-features/opaques-details.md b/docs/docs/reference/other-new-features/opaques-details.md
diff --git a/docs/docs/reference/other-new-features/opaques.md b/docs/docs/reference/other-new-features/opaques.md
diff --git a/docs/docs/reference/other-new-features/safe-initialization.md b/docs/docs/reference/other-new-features/safe-initialization.md
diff --git a/docs/docs/reference/other-new-features/targetName.md b/docs/docs/reference/other-new-features/targetName.md
diff --git a/docs/docs/reference/other-new-features/type-test.md b/docs/docs/reference/other-new-features/type-test.md
