diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2012-09-26 10:36:27 +0200 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2012-09-27 15:53:16 +0200 |
commit | 02f980c617192fcee84813805e9875f8dfb88fa5 (patch) | |
tree | 09bb7b89e340f4b695b60b8c9cf1187b3da8c702 /src | |
parent | 7742c71c8896d06e5c9b8cc885efbc2cbf7edb69 (diff) | |
download | scala-02f980c617192fcee84813805e9875f8dfb88fa5.tar.gz scala-02f980c617192fcee84813805e9875f8dfb88fa5.tar.bz2 scala-02f980c617192fcee84813805e9875f8dfb88fa5.zip |
a more precise type for Context.mirror
scala.reflect.api.Mirror is the most basic contract for mirrors.
Currently scala.reflect.api.Universe.Mirror is simply an abstract type
type Mirror >: Null <: scala.reflect.api.Mirror[self.type], and
scala.reflect.macros.Universe doesn't override that type, so from the user
standpoint at the moment scala.reflect.api.Mirror == c.mirror, however,
in the future this might be a source of errors.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/reflect/macros/runtime/Context.scala | 2 | ||||
-rw-r--r-- | src/reflect/scala/reflect/macros/Context.scala | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/reflect/macros/runtime/Context.scala b/src/compiler/scala/reflect/macros/runtime/Context.scala index b3d4d50f07..467c335362 100644 --- a/src/compiler/scala/reflect/macros/runtime/Context.scala +++ b/src/compiler/scala/reflect/macros/runtime/Context.scala @@ -18,7 +18,7 @@ abstract class Context extends scala.reflect.macros.Context val universe: Global - val mirror: scala.reflect.api.Mirror[universe.type] = universe.rootMirror + val mirror: universe.Mirror = universe.rootMirror val callsiteTyper: universe.analyzer.Typer diff --git a/src/reflect/scala/reflect/macros/Context.scala b/src/reflect/scala/reflect/macros/Context.scala index 7bc34c6556..1d49cc48c1 100644 --- a/src/reflect/scala/reflect/macros/Context.scala +++ b/src/reflect/scala/reflect/macros/Context.scala @@ -20,7 +20,7 @@ trait Context extends Aliases val universe: Universe /** The mirror of the compile-time universe */ - val mirror: scala.reflect.api.Mirror[universe.type] + val mirror: universe.Mirror /** The type of the prefix tree from which the macro is selected */ type PrefixType |