Rename synthesizedEq -> synthesizedEql

Author: odersky

compiler/src/dotty/tools/dotc/typer/Implicits.scala

@@ -779,7 +779,7 @@ trait Implicits { self: Typer =>
   /** If `formal` is of the form Eql[T, U], try to synthesize an
     *  `Eql.eqlAny[T, U]` as solution.
     */
-  lazy val synthesizedEq: SpecialHandler = {
+  lazy val synthesizedEql: SpecialHandler = {
     (formal, span) => implicit ctx => {
 
       /** Is there an `Eql[T, T]` instance, assuming -strictEquality? */
@@ -1091,7 +1091,7 @@ trait Implicits { self: Typer =>
       mySpecialHandlers = List(
         defn.ClassTagClass        -> synthesizedClassTag,
         defn.QuotedTypeClass      -> synthesizedTypeTag,
-        defn.EqlClass             -> synthesizedEq,
+        defn.EqlClass             -> synthesizedEql,
         defn.TupledFunctionClass  -> synthesizedTupleFunction,
         defn.ValueOfClass         -> synthesizedValueOf,
         defn.Mirror_ProductClass  -> synthesizedProductMirror,

library/src/scala/Eql.scala

@@ -9,7 +9,7 @@ sealed trait Eql[-L, -R]
 
 /** Companion object containing a few universally known `Eql` instances.
  *  Eql instances involving primitive types or the Null type are handled directly in
- *  the compiler (see Implicits.synthesizedEq), so they are not included here.
+ *  the compiler (see Implicits.synthesizedEql), so they are not included here.
  */
 object Eql {
   /** A universal `Eql` instance. */