1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
package scala.reflect.macros
package compiler
import scala.reflect.internal.Flags._
import scala.reflect.macros.TypecheckException
trait Resolvers {
self: DefaultMacroCompiler =>
import global._
import analyzer._
import definitions._
import treeInfo._
import gen._
import runDefinitions._
trait Resolver {
self: MacroImplRefCompiler =>
val isImplBundle: Boolean
val isImplMethod = !isImplBundle
lazy val looksCredible: Boolean = {
val Applied(core, _, _) = untypedMacroImplRef
typer.silent(_.typed(markMacroImplRef(core)), reportAmbiguousErrors = false).nonEmpty
}
lazy val (macroImplRef, isBlackbox, macroImplOwner, macroImpl, targs) =
typer.silent(_.typed(markMacroImplRef(untypedMacroImplRef)), reportAmbiguousErrors = false) match {
case SilentResultValue(macroImplRef @ MacroImplReference(_, isBlackbox, owner, meth, targs)) => (macroImplRef, isBlackbox, owner, meth, targs)
case SilentResultValue(macroImplRef) => MacroImplReferenceWrongShapeError()
case SilentTypeError(err) => abort(err.errPos, err.errMsg)
}
}
}
|
