Merge pull request #9431 from ysthakur/patch-1

Use EmptyTuple instead of Unit in typeclass derivation docs

Author: odersky

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

@@ -95,7 +95,7 @@ have the given instances for our primitive types:
     case '[String *: $tpes] => '{ summon[Eq[String]] }  :: summonAll(tpes)
     case '[Int *: $tpes]    => '{ summon[Eq[Int]] }     :: summonAll(tpes)
     case '[$tpe *: $tpes]   => derived(using tpe, qctx) :: summonAll(tpes)
-    case '[Unit] => Nil
+    case '[EmptyTuple] => Nil
   }
 ```
 
@@ -173,7 +173,7 @@ object Eq {
     case '[String *: $tpes] => '{ summon[Eq[String]] }  :: summonAll(tpes)
     case '[Int *: $tpes]    => '{ summon[Eq[Int]] }     :: summonAll(tpes)
     case '[$tpe *: $tpes]   => derived(using tpe, qctx) :: summonAll(tpes)
-    case '[Unit] => Nil
+    case '[EmptyTuple] => Nil
   }
 
   given derived[T: Type](using qctx: QuoteContext) as Expr[Eq[T]] = {
@@ -222,4 +222,4 @@ object Macro3 {
 
   implicit inline def eqGen[T]: Eq[T] = ${ Eq.derived[T] }
 }
-```
+```

docs/docs/reference/contextual/derivation.md

@@ -200,7 +200,7 @@ implementation of `summonAll` is `inline` and uses Dotty's `summonInline` constr
 ```scala
 
 inline def summonAll[T <: Tuple]: List[Eq[_]] = inline erasedValue[T] match {
-  case _: Unit => Nil
+  case _: EmptyTuple => Nil
   case _: (t *: ts) => summonInline[Eq[t]] :: summonAll[ts]
 }
 ```
@@ -244,7 +244,7 @@ import scala.deriving._
 import scala.compiletime.{erasedValue, summonInline}
 
 inline def summonAll[T <: Tuple]: List[Eq[_]] = inline erasedValue[T] match {
-  case _: Unit => Nil
+  case _: EmptyTuple => Nil
   case _: (t *: ts) => summonInline[Eq[t]] :: summonAll[ts]
 }