aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/annotation/internal
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/annotation/internal')
-rw-r--r--src/dotty/annotation/internal/Alias.scala10
-rw-r--r--src/dotty/annotation/internal/AnnotationDefault.scala8
-rw-r--r--src/dotty/annotation/internal/Body.scala8
-rw-r--r--src/dotty/annotation/internal/Child.scala16
-rw-r--r--src/dotty/annotation/internal/InlineParam.scala6
-rw-r--r--src/dotty/annotation/internal/Repeated.scala10
-rw-r--r--src/dotty/annotation/internal/SourceFile.scala10
-rw-r--r--src/dotty/annotation/internal/UnsafeNonvariant.scala8
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