Scaladoc - fix uncompiling snippets, fix indentation for snippets

library/src/scala/Tuple.scala

@@ -152,11 +152,11 @@ object Tuple {
   /** Filters out those members of the tuple for which the predicate `P` returns `false`.
    *  A predicate `P[X]` is a type that can be either `true` or `false`. For example:
    *  ```scala
-   *  type IsString[x] = x match {
+   *  type IsString[x] <: Boolean = x match {
    *    case String => true
    *    case _ => false
    *  }
-   *  Filter[(1, "foo", 2, "bar"), IsString] =:= ("foo", "bar")
+   *  summon[Tuple.Filter[(1, "foo", 2, "bar"), IsString] =:= ("foo", "bar")]
    *  ```
    *  @syntax markdown
    */

library/src/scala/annotation/MainAnnotation.scala

@@ -11,7 +11,7 @@ package scala.annotation
  *    - a call to `command.run` with the closure of user-main applied to all arguments.
  *
  *  Example:
- *  ```scala
+ *  ```scala sc:nocompile
  *  /** Sum all the numbers
  *   *
  *   *  @param first Fist number to sum
@@ -20,7 +20,7 @@ package scala.annotation
  *  @myMain def sum(first: Int, second: Int = 0, rest: Int*): Int = first + second + rest.sum
  *  ```
  *  generates
- *  ```scala
+ *  ```scala sc:nocompile
  *  object foo {
  *    def main(args: Array[String]): Unit = {
  *      val mainAnnot = new myMain()

library/src/scala/compiletime/ops/any.scala

@@ -4,6 +4,9 @@ package ops
 object any:
   /** Equality comparison of two singleton types.
    * ```scala
+   *  //{
+   *  import compiletime.ops.any._
+   *  //}
    * val eq1: 1 == 1 = true
    * val eq2: 1 == "1" = false
    * val eq3: "1" == "1" = true
@@ -14,6 +17,9 @@ object any:
 
   /** Inequality comparison of two singleton types.
    * ```scala
+   *  //{
+   *  import compiletime.ops.any._
+   *  //}
    * val eq1: 1 != 1 = false
    * val eq2: 1 != "1" = true
    * val eq3: "1" != "1" = false
@@ -24,6 +30,9 @@ object any:
 
   /** Tests if a type is a constant.
    * ```scala
+   *  //{
+   *  import compiletime.ops.any._
+   *  //}
    * val c1: IsConst[1] = true
    * val c2: IsConst["hi"] = true
    * val c3: IsConst[false] = true
@@ -32,6 +41,9 @@ object any:
    * If the type is not yet known, then `IsConst` remains unevaluated, and
    * will be evaluated only at its concrete type application. E.g.:
    * ```scala
+   *  //{
+   *  import compiletime.ops.any._
+   *  //}
    * //def `isConst`` returns the type `IsConst[X]`, since `X` is not yet known.
    * def isConst[X] : IsConst[X] = ???
    * val c5 : true = isConst[1] //now the type is known to be a constant
@@ -43,6 +55,9 @@ object any:
 
   /** String conversion of a constant singleton type.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.any._
+   *  //}
    *  val s1: ToString[1] = "1"
    *  val sTrue: ToString[true] = "true"
    *  ```

library/src/scala/compiletime/ops/boolean.scala

@@ -5,6 +5,9 @@ object boolean:
 
   /** Negation of a `Boolean` singleton type.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.boolean._
+   *  //}
    *  val notFalse: ![false] = true
    *  val notTrue: ![true] = false
    *  ```
@@ -14,6 +17,9 @@ object boolean:
 
   /** Exclusive disjunction of two `Boolean` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.boolean._
+   *  //}
    *  val a: true ^ true = false
    *  val b: false ^ true = true
    *  ```
@@ -23,6 +29,9 @@ object boolean:
 
   /** Conjunction of two `Boolean` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.boolean._
+   *  //}
    *  val a: true && true = true
    *  val b: false && true = false
    *  ```
@@ -32,6 +41,9 @@ object boolean:
 
   /** Disjunction of two `Boolean` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.boolean._
+   *  //}
    *  val a: true || false = true
    *  val b: false || false = false
    *  ```

library/src/scala/compiletime/ops/double.scala

@@ -4,6 +4,9 @@ package ops
 object double:
   /** Addition of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val sum: 2.0 + 2.0 = 4.0
    *  ```
    *  @syntax markdown
@@ -12,6 +15,9 @@ object double:
 
   /** Subtraction of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val sub: 4.0 - 2.0 = 2.0
    *  ```
    *  @syntax markdown
@@ -20,6 +26,9 @@ object double:
 
   /** Multiplication of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val mul: 4.0 * 2.0 = 8.0
    *  ```
    *  @syntax markdown
@@ -28,6 +37,9 @@ object double:
 
   /** Integer division of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val div: 5.0 / 2.0 = 2.5
    *  ```
    *  @syntax markdown
@@ -36,6 +48,9 @@ object double:
 
   /** Remainder of the division of `X` by `Y`.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val mod: 5.0 % 2.0 = 1.0
    *  ```
    *  @syntax markdown
@@ -44,6 +59,9 @@ object double:
 
   /** Less-than comparison of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val lt1: 4.0 < 2.0 = false
    *  val lt2: 2.0 < 4.0 = true
    *  ```
@@ -53,6 +71,9 @@ object double:
 
   /** Greater-than comparison of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val gt1: 4.0 > 2.0 = true
    *  val gt2: 2.0 > 2.0 = false
    *  ```
@@ -62,6 +83,9 @@ object double:
 
   /** Greater-or-equal comparison of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val ge1: 4.0 >= 2.0 = true
    *  val ge2: 2.0 >= 3.0 = false
    *  ```
@@ -71,6 +95,9 @@ object double:
 
   /** Less-or-equal comparison of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val lt1: 4.0 <= 2.0 = false
    *  val lt2: 2.0 <= 2.0 = true
    *  ```
@@ -80,6 +107,9 @@ object double:
 
   /** Absolute value of an `Double` singleton type.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val abs: Abs[-1.0] = 1.0
    *  ```
    *  @syntax markdown
@@ -88,6 +118,9 @@ object double:
 
   /** Negation of an `Double` singleton type.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val neg1: Negate[-1.0] = 1.0
    *  val neg2: Negate[1.0] = -1.0
    *  ```
@@ -97,6 +130,9 @@ object double:
 
   /** Minimum of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val min: Min[-1.0, 1.0] = -1.0
    *  ```
    *  @syntax markdown
@@ -105,6 +141,9 @@ object double:
 
   /** Maximum of two `Double` singleton types.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val max: Max[-1.0, 1.0] = 1.0
    *  ```
    *  @syntax markdown
@@ -113,6 +152,9 @@ object double:
 
   /** Int conversion of a `Double` singleton type.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val x: ToInt[1.0] = 1
    *  ```
    *  @syntax markdown
@@ -121,6 +163,9 @@ object double:
 
   /** Long conversion of a `Double` singleton type.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val x: ToLong[1.0] = 1L
    *  ```
    *  @syntax markdown
@@ -129,6 +174,9 @@ object double:
 
   /** Float conversion of a `Double` singleton type.
    *  ```scala
+   *  //{
+   *  import compiletime.ops.double._
+   *  //}
    *  val x: ToFloat[1.0] = 1.0f
    *  ```
    *  @syntax markdown