Fix typos

Co-authored-by: EnzeXing <[email protected]>
Co-authored-by: Ondřej Lhoták <[email protected]>

Author: 3 people

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

@@ -376,7 +376,7 @@ object Types {
       case _ => false
     }
 
-    /** Returns the annoation that is an instance of `cls` carried by the type. */
+    /** Returns the annotation that is an instance of `cls` carried by the type. */
     @tailrec final def getAnnotation(cls: ClassSymbol)(using Context): Option[Annotation] = stripTypeVar match {
       case AnnotatedType(tp, annot) =>
         if annot.matches(cls) then Some(annot)

compiler/src/dotty/tools/dotc/transform/init/Objects.scala

@@ -123,7 +123,7 @@ object Objects:
     def show(using Context) = "ObjectRef(" + klass.show + ")"
 
   /**
-   * Rerepsents values that are instances of the specified class.
+   * Represents values that are instances of the specified class.
    *
    * Note that the 2nd parameter block does not take part in the definition of equality.
    */
@@ -150,7 +150,7 @@ object Objects:
       instance
 
   /**
-   * Rerepsents arrays.
+   * Represents arrays.
    *
    * Note that the 2nd parameter block does not take part in the definition of equality.
    *
@@ -289,7 +289,7 @@ object Objects:
       val level = outer.level + 1
 
       if (level > 3)
-        report.warning("[Internal error] Deeply nested environemnt, level =  " + level + ", " + meth.show + " in " + meth.enclosingClass.show, meth.defTree)
+        report.warning("[Internal error] Deeply nested environment, level =  " + level + ", " + meth.show + " in " + meth.enclosingClass.show, meth.defTree)
 
       private[Env] val vals: mutable.Map[Symbol, Value] = valsMap
       private[Env] val vars: mutable.Map[Symbol, Heap.Addr] = varsMap
@@ -418,7 +418,7 @@ object Objects:
      */
     opaque type Data = Map[Addr, Value]
 
-    /** Store the heap as a mutable field to avoid thread through it in the program. */
+    /** Store the heap as a mutable field to avoid threading it through the program. */
     class MutableData(private[Heap] var heap: Data):
       private[Heap] def update(addr: Addr, value: Value): Unit =
         heap.get(addr) match

library/src/scala/annotation/init.scala

@@ -21,13 +21,13 @@ object init:
    *
    *  By default, method and constructor arguments are widened to height 1.
    */
-  final class widen(hight: Int) extends StaticAnnotation
+  final class widen(height: Int) extends StaticAnnotation
 
   /** Introduce a region context.
    *
    *  The same mutable field in the same region have the same abstract representation.
    *
-   *  The concept of regions is intended to make context-sensitivity tuable for complex use cases.
+   *  The concept of regions is intended to make context-sensitivity tunable for complex use cases.
    *
    *  Example:
    *
@@ -41,7 +41,7 @@ object init:
    *         val box2: Box = region { new Box(new D(10)) }
    *         val m: Int = box1.value.foo()
    *
-   *  In the above, without the two region annotation, the two objects `box1` and `box2` are in the same region.
+   *  In the above, without the two region annotations, the two objects `box1` and `box2` are in the same region.
    *  Therefore, the field `box1.value` and `box2.value` points to both instances of `C` and `D`. Consequently,
    *  the method call `box1.value.foo()` will be invalid, because it reaches `A.m`, which is not yet initialized.
    *  The explicit context annotation solves the problem.