diff options
Diffstat (limited to 'src/dotty/annotation/internal')
-rw-r--r-- | src/dotty/annotation/internal/Alias.scala | 10 | ||||
-rw-r--r-- | src/dotty/annotation/internal/AnnotationDefault.scala | 8 | ||||
-rw-r--r-- | src/dotty/annotation/internal/Body.scala | 8 | ||||
-rw-r--r-- | src/dotty/annotation/internal/Child.scala | 16 | ||||
-rw-r--r-- | src/dotty/annotation/internal/InlineParam.scala | 6 | ||||
-rw-r--r-- | src/dotty/annotation/internal/Repeated.scala | 10 | ||||
-rw-r--r-- | src/dotty/annotation/internal/SourceFile.scala | 10 | ||||
-rw-r--r-- | src/dotty/annotation/internal/UnsafeNonvariant.scala | 8 |
8 files changed, 0 insertions, 76 deletions
diff --git a/src/dotty/annotation/internal/Alias.scala b/src/dotty/annotation/internal/Alias.scala deleted file mode 100644 index 8be83960f..000000000 --- a/src/dotty/annotation/internal/Alias.scala +++ /dev/null @@ -1,10 +0,0 @@ -package dotty.annotation.internal - -import scala.annotation.Annotation - -/** An annotation to record a Scala2 pickled alias. - * @param aliased A TermRef pointing to the aliased field. - */ -class Alias(aliased: Any) extends Annotation { - -} diff --git a/src/dotty/annotation/internal/AnnotationDefault.scala b/src/dotty/annotation/internal/AnnotationDefault.scala deleted file mode 100644 index 7409b2f96..000000000 --- a/src/dotty/annotation/internal/AnnotationDefault.scala +++ /dev/null @@ -1,8 +0,0 @@ -package dotty.annotation.internal - -import scala.annotation.Annotation - -/** An annotation to tag Java annotation default values */ -class AnnotationDefault extends Annotation { - -} diff --git a/src/dotty/annotation/internal/Body.scala b/src/dotty/annotation/internal/Body.scala deleted file mode 100644 index 7e26b02f2..000000000 --- a/src/dotty/annotation/internal/Body.scala +++ /dev/null @@ -1,8 +0,0 @@ -package dotty.annotation.internal - -import scala.annotation.Annotation - -/** The class associated with a `BodyAnnotation`, which indicates - * an inline method's right hand side - */ -final class Body() extends Annotation diff --git a/src/dotty/annotation/internal/Child.scala b/src/dotty/annotation/internal/Child.scala deleted file mode 100644 index 9295de73e..000000000 --- a/src/dotty/annotation/internal/Child.scala +++ /dev/null @@ -1,16 +0,0 @@ -package dotty.annotation.internal - -import scala.annotation.Annotation - -/** An annotation to indicate a child class or object of the annotated class. - * E.g. if we have - * - * sealed class A - * case class B() extends A - * case class C() extends A - * - * Then the class symbol `A` would carry the annotations - * `@Child[Bref] @Child[Cref]` where `Bref`, `Cref` are TypeRefs - * referring to the class symbols of `B` and `C` - */ -class Child[T] extends Annotation diff --git a/src/dotty/annotation/internal/InlineParam.scala b/src/dotty/annotation/internal/InlineParam.scala deleted file mode 100644 index a144f9edb..000000000 --- a/src/dotty/annotation/internal/InlineParam.scala +++ /dev/null @@ -1,6 +0,0 @@ -package dotty.annotation.internal - -import scala.annotation.Annotation - -/** An annotation produced by Namer to indicate an inline parameter */ -final class InlineParam() extends Annotation diff --git a/src/dotty/annotation/internal/Repeated.scala b/src/dotty/annotation/internal/Repeated.scala deleted file mode 100644 index 24adc051f..000000000 --- a/src/dotty/annotation/internal/Repeated.scala +++ /dev/null @@ -1,10 +0,0 @@ -package dotty.annotation.internal - -import scala.annotation.Annotation - -/** An annotation produced by desugaring to indicate that a - * sequence is a repeated parameter. I.e. - * - * T* is expanded by Desugar to Seq[T] @Repeated - */ -final class Repeated() extends Annotation diff --git a/src/dotty/annotation/internal/SourceFile.scala b/src/dotty/annotation/internal/SourceFile.scala deleted file mode 100644 index c49fc2c8d..000000000 --- a/src/dotty/annotation/internal/SourceFile.scala +++ /dev/null @@ -1,10 +0,0 @@ -package dotty.annotation.internal - -import scala.annotation.Annotation - -/** An annotation to record a Scala2 pickled alias. - * @param aliased A TermRef pointing to the aliased field. - */ -class SourceFile(path: String) extends Annotation { - -} diff --git a/src/dotty/annotation/internal/UnsafeNonvariant.scala b/src/dotty/annotation/internal/UnsafeNonvariant.scala deleted file mode 100644 index 43a0a114b..000000000 --- a/src/dotty/annotation/internal/UnsafeNonvariant.scala +++ /dev/null @@ -1,8 +0,0 @@ -package dotty.annotation.internal - -import scala.annotation.Annotation - -/** This annotation is used as a marker for unsafe - * instantiations in asSeenFrom. See TypeOps.asSeenfrom for an explanation. - */ -class UnsafeNonvariant extends Annotation |