Fix typos

Author: nicolasstucki

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -640,7 +640,7 @@ class Definitions {
     @tu lazy val InternalQuoted_patternHole: Symbol = InternalQuotedModule.requiredMethod("patternHole")
     @tu lazy val InternalQuoted_patternBindHoleAnnot: ClassSymbol = InternalQuotedModule.requiredClass("patternBindHole")
     @tu lazy val InternalQuoted_QuoteTypeTagAnnot: ClassSymbol = InternalQuotedModule.requiredClass("quoteTypeTag")
-    @tu lazy val InternalQuoted_formAboveAnnot: ClassSymbol = InternalQuotedModule.requiredClass("formAbove")
+    @tu lazy val InternalQuoted_fromAboveAnnot: ClassSymbol = InternalQuotedModule.requiredClass("fromAbove")
 
 
   @tu lazy val InternalQuotedExprModule: Symbol = ctx.requiredModule("scala.internal.quoted.Expr")

compiler/src/dotty/tools/dotc/core/quoted/PickledQuotes.scala

@@ -81,7 +81,6 @@ object PickledQuotes {
     val unpickled = unpickle(tastyBytes, args, isType = true)(ctx.addMode(Mode.ReadPositions))
     val tpt = unpickled match {
       case Block(aliases, tpt) =>
-        // `@quoteTypeTag type` aliasses are not required after unpickling
         // `@quoteTypeTag type` aliasses are not required after unpickling
         val aliases1 = aliases.filter(!_.symbol.hasAnnotation(defn.InternalQuoted_QuoteTypeTagAnnot))
         seq(aliases1, tpt)

compiler/src/dotty/tools/dotc/tastyreflect/ReflectionCompilerInterface.scala

@@ -1838,7 +1838,7 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
 
   def Definitions_InternalQuoted_patternHole: Symbol = defn.InternalQuoted_patternHole
   def Definitions_InternalQuoted_patternBindHoleAnnot: Symbol = defn.InternalQuoted_patternBindHoleAnnot
-  def Definitions_InternalQuoted_formAboveAnnot: Symbol = defn.InternalQuoted_formAboveAnnot
+  def Definitions_InternalQuoted_fromAboveAnnot: Symbol = defn.InternalQuoted_fromAboveAnnot
 
   // Types
 

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

@@ -230,7 +230,7 @@ trait QuotesAndSplices { self: Typer =>
 
       private def transformTypeBindingTypeDef(tdef: TypeDef, buff: mutable.Builder[Tree, List[Tree]])(implicit ctx: Context): Tree = {
         if (variance == -1)
-          tdef.symbol.addAnnotation(Annotation(New(ref(defn.InternalQuoted_formAboveAnnot.typeRef)).withSpan(tdef.span)))
+          tdef.symbol.addAnnotation(Annotation(New(ref(defn.InternalQuoted_fromAboveAnnot.typeRef)).withSpan(tdef.span)))
         val bindingType = getBinding(tdef.symbol).symbol.typeRef
         val bindingTypeTpe = AppliedType(defn.QuotedTypeClass.typeRef, bindingType :: Nil)
         assert(tdef.name.startsWith("$"))

library/src/scala/internal/Quoted.scala

@@ -29,7 +29,7 @@ object Quoted {
   class patternType extends Annotation
 
   /** A type pattern that must be aproximated from above */
-  class formAbove extends Annotation
+  class fromAbove extends Annotation
 
   /** Artifact of pickled type splices
    *

library/src/scala/internal/quoted/Matcher.scala

@@ -26,7 +26,7 @@ private[quoted] object Matcher {
       if (hasTypeSplices) {
         implicit val ctx: Context = internal.Context_GADT_setFreshGADTBounds(rootContext)
         val matchings = scrutineeTerm.underlyingArgument =#= patternTerm.underlyingArgument
-        // After matching and doing all subtype check, we have to aproximate all the type bindings
+        // After matching and doing all subtype checks, we have to aproximate all the type bindings
         // that we have found and seal them in a quoted.Type
         matchings.asOptionOfTuple.map { tup =>
           Tuple.fromArray(tup.toArray.map { // TODO improve performace
@@ -46,7 +46,7 @@ private[quoted] object Matcher {
       if (hasTypeSplices) {
         implicit val ctx: Context = internal.Context_GADT_setFreshGADTBounds(rootContext)
         val matchings = scrutineeTypeTree =#= patternTypeTree
-        // After matching and doing all subtype check, we have to aproximate all the type bindings
+        // After matching and doing all subtype checks, we have to aproximate all the type bindings
         // that we have found and seal them in a quoted.Type
         matchings.asOptionOfTuple.map { tup =>
           Tuple.fromArray(tup.toArray.map { // TODO improve performace
@@ -75,8 +75,8 @@ private[quoted] object Matcher {
     }
 
     private def isFromAboveAnnotation(tree: Tree): Boolean = tree match {
-      case New(tpt) => tpt.symbol == internal.Definitions_InternalQuoted_formAboveAnnot
-      case annot => annot.symbol.owner == internal.Definitions_InternalQuoted_formAboveAnnot
+      case New(tpt) => tpt.symbol == internal.Definitions_InternalQuoted_fromAboveAnnot
+      case annot => annot.symbol.owner == internal.Definitions_InternalQuoted_fromAboveAnnot
     }
 
     /** Check that all trees match with `mtch` and concatenate the results with && */

library/src/scala/tasty/reflect/CompilerInterface.scala

@@ -1496,8 +1496,8 @@ trait CompilerInterface {
   /** Symbol of scala.internal.Quoted.patternBindHole */
   def Definitions_InternalQuoted_patternBindHoleAnnot: Symbol
 
-  /** Symbol of scala.internal.Quoted.formAbove */
-  def Definitions_InternalQuoted_formAboveAnnot: Symbol
+  /** Symbol of scala.internal.Quoted.fromAbove */
+  def Definitions_InternalQuoted_fromAboveAnnot: Symbol
 
   def Definitions_UnitType: Type
   def Definitions_ByteType: Type