diff options
author | Martin Odersky <odersky@gmail.com> | 2013-03-14 17:39:03 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-03-14 17:39:03 +0100 |
commit | 0d2fd0fd49fb1b6d4ab344ae32da493b36c99ba7 (patch) | |
tree | 25b4879b846ede6513331f9c1bbd5c480f37c833 /src/dotty/annotation/internal | |
parent | 016a60cda879f9c326d3f732fe33ec070f998999 (diff) | |
download | dotty-0d2fd0fd49fb1b6d4ab344ae32da493b36c99ba7.tar.gz dotty-0d2fd0fd49fb1b6d4ab344ae32da493b36c99ba7.tar.bz2 dotty-0d2fd0fd49fb1b6d4ab344ae32da493b36c99ba7.zip |
Defining standard dotty classes used in Definitions.
Diffstat (limited to 'src/dotty/annotation/internal')
-rw-r--r-- | src/dotty/annotation/internal/Alias.scala | 7 | ||||
-rw-r--r-- | src/dotty/annotation/internal/AnnotationDefault.scala | 7 | ||||
-rw-r--r-- | src/dotty/annotation/internal/Child.scala | 7 |
3 files changed, 21 insertions, 0 deletions
diff --git a/src/dotty/annotation/internal/Alias.scala b/src/dotty/annotation/internal/Alias.scala new file mode 100644 index 000000000..44695c7dd --- /dev/null +++ b/src/dotty/annotation/internal/Alias.scala @@ -0,0 +1,7 @@ +package dotty.annotation.internal + +import scala.annotation.Annotation + +class Alias(aliased: Any) extends Annotation { + +}
\ No newline at end of file diff --git a/src/dotty/annotation/internal/AnnotationDefault.scala b/src/dotty/annotation/internal/AnnotationDefault.scala new file mode 100644 index 000000000..1405c94bd --- /dev/null +++ b/src/dotty/annotation/internal/AnnotationDefault.scala @@ -0,0 +1,7 @@ +package dotty.annotation.internal + +import scala.annotation.Annotation + +class AnnotationDefault extends Annotation { + +}
\ No newline at end of file diff --git a/src/dotty/annotation/internal/Child.scala b/src/dotty/annotation/internal/Child.scala new file mode 100644 index 000000000..9c2f83d7b --- /dev/null +++ b/src/dotty/annotation/internal/Child.scala @@ -0,0 +1,7 @@ +package dotty.annotation.internal + +import scala.annotation.Annotation + +class Child[T] extends Annotation { + +}
\ No newline at end of file |