summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2012-04-13 08:59:30 -0700
committerMartin Odersky <odersky@gmail.com>2012-04-13 08:59:30 -0700
commit381c0e12bf5a72df6f3b3ac8eaca1cac28263154 (patch)
tree817db8e2fb120564d6543082556dbbf29fe362fb
parent1c89ab72339fee8767869585f28811d5e2e437b1 (diff)
downloadscala-381c0e12bf5a72df6f3b3ac8eaca1cac28263154.tar.gz
scala-381c0e12bf5a72df6f3b3ac8eaca1cac28263154.tar.bz2
scala-381c0e12bf5a72df6f3b3ac8eaca1cac28263154.zip
Added missing objects.
-rw-r--r--src/library/scala/language.scala25
-rw-r--r--src/library/scala/languageFeature.scala30
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
+ }
+}
+