diff options
author | Martin Odersky <odersky@gmail.com> | 2012-04-13 08:59:30 -0700 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2012-04-13 08:59:30 -0700 |
commit | 381c0e12bf5a72df6f3b3ac8eaca1cac28263154 (patch) | |
tree | 817db8e2fb120564d6543082556dbbf29fe362fb | |
parent | 1c89ab72339fee8767869585f28811d5e2e437b1 (diff) | |
download | scala-381c0e12bf5a72df6f3b3ac8eaca1cac28263154.tar.gz scala-381c0e12bf5a72df6f3b3ac8eaca1cac28263154.tar.bz2 scala-381c0e12bf5a72df6f3b3ac8eaca1cac28263154.zip |
Added missing objects.
-rw-r--r-- | src/library/scala/language.scala | 25 | ||||
-rw-r--r-- | src/library/scala/languageFeature.scala | 30 |
2 files changed, 55 insertions, 0 deletions
diff --git a/src/library/scala/language.scala b/src/library/scala/language.scala new file mode 100644 index 0000000000..907adb5f72 --- /dev/null +++ b/src/library/scala/language.scala @@ -0,0 +1,25 @@ +package scala + +object language { + + import languageFeature._ + + implicit val dynamics: dynamics = ??? + + implicit val postfixOps: postfixOps = ??? + + implicit val reflectiveCalls: reflectiveCalls = ??? + + implicit val implicitConversions: implicitConversions = ??? + + implicit val higherKinds: higherKinds = ??? + + implicit val existentials: existentials = ??? + + object experimental { + + import languageFeature.experimental._ + + implicit val macros: macros = ??? + } +} diff --git a/src/library/scala/languageFeature.scala b/src/library/scala/languageFeature.scala new file mode 100644 index 0000000000..c990f714c1 --- /dev/null +++ b/src/library/scala/languageFeature.scala @@ -0,0 +1,30 @@ +package scala + +import annotation.meta + +object languageFeature { + + @meta.languageFeature("extension of type scala.Dynamic", true) + sealed trait dynamics + + @meta.languageFeature("postfix operator #", false) + sealed trait postfixOps + + @meta.languageFeature("reflective access of structural type member #", false) + sealed trait reflectiveCalls + + @meta.languageFeature("implicit conversion #", false) + sealed trait implicitConversions + + @meta.languageFeature("higher-kinded type", false) + sealed trait higherKinds + + @meta.languageFeature("#, which cannot be expressed by wildcards, ", false) + sealed trait existentials + + object experimental { + @meta.languageFeature("macro definition", true) + sealed trait macros + } +} + |