1 files changed, 59 insertions, 0 deletions
diff --git a/src/library/scala/reflect/makro/Context.scala b/src/library/scala/reflect/makro/Context.scala
new file mode 100644
index 0000000000..96a41377b3
--- /dev/null
+++ b/src/library/scala/reflect/makro/Context.scala
@@ -0,0 +1,59 @@
+package scala.reflect.makro
+
+// 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 Reporters
+                 with Settings
+                 with Symbols
+                 with Typers
+                 with Util {
+
+  /** The mirror that corresponds to the compile-time universe */
+  val mirror: scala.reflect.api.Universe
+
+  /** 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 */
+  def reify[T](expr: T): Expr[T] = macro Context.reify[T]
+}
+
+object Context {
+  def reify[T](cc: Context{ type PrefixType = Context })(expr: cc.Expr[T]): cc.Expr[cc.prefix.value.Expr[T]] = {
+    import cc.mirror._
+    // [Eugene] how do I typecheck this without undergoing this tiresome (and, in general, incorrect) procedure?
+    val prefix: Tree = Select(cc.prefix, newTermName("mirror"))
+    val prefixTpe = cc.typeCheck(TypeApply(Select(prefix, newTermName("asInstanceOf")), List(SingletonTypeTree(prefix)))).tpe
+    prefix setType prefixTpe
+    try cc.reifyTree(prefix, expr)
+    catch {
+      case ex: Throwable =>
+        // [Eugene] cannot pattern match on an abstract type, so had to do this
+        if (ex.getClass.toString.endsWith("$ReificationError")) {
+          ex match {
+            case cc.ReificationError(pos, msg) =>
+              cc.error(pos, msg)
+              EmptyTree
+          }
+        } else if (ex.getClass.toString.endsWith("$UnexpectedReificationError")) {
+          ex match {
+            case cc.UnexpectedReificationError(pos, err, cause) =>
+              if (cause != null) throw cause else throw ex
+          }
+        } else {
+          throw ex
+        }
+    }
+  }
+}