1 files changed, 40 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/makro/Context.scala b/src/reflect/scala/reflect/makro/Context.scala
new file mode 100644
index 0000000000..f9858a063c
--- /dev/null
+++ b/src/reflect/scala/reflect/makro/Context.scala
@@ -0,0 +1,40 @@
+package scala.reflect
+package makro
+
+import language.experimental.macros
+
+// todo. introduce context hierarchy
+// the most lightweight context should just expose the stuff from the SIP
+// the full context should include all traits from scala.reflect.makro (and probably reside in scala-compiler.jar)
+
+trait Context extends Aliases
+                 with CapturedVariables
+                 with Enclosures
+                 with Infrastructure
+                 with Names
+                 with Reifiers
+                 with FrontEnds
+                 with Settings
+                 with Typers
+                 with Parsers
+                 with Exprs
+                 with TypeTags
+                 with Evals
+                 with ExprUtils {
+
+  /** The compile-time universe */
+  val universe: Universe
+
+  /** The mirror of the compile-time universe */
+  val mirror: MirrorOf[universe.type]
+
+  /** The type of the prefix tree from which the macro is selected */
+  type PrefixType
+
+  /** The prefix tree from which the macro is selected */
+  val prefix: Expr[PrefixType]
+
+  /** Alias to the underlying mirror's reify */
+  // implementation is magically hardwired to `scala.reflect.makro.runtime.ContextReifiers`
+  def reify[T](expr: T): Expr[T] = macro ???
+}