You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
myke compile C:\Projects\KeplerUnderRefactoring\sandbox\Test.scala
git: branch = topic/reflection, commit = 1dffbf64ab2176da881e1a4925093543801bcb8c
psi: filename = cmd.exe, arguments =/C c:\PROGRA~1\Java\JDK16~1.0_2\bin\java.exe -cp "C:\Projects\KeplerUnderRefactoring\test\files\codelib\code.jar;C:\Projects\KeplerUnderRefactoring\lib\jline.jar;C:\Projects\KeplerUnderRefactoring\lib\fjbg.jar;C:\Projects\KeplerUnderRefactoring\build\locker\classes\compiler;C:\Projects\KeplerUnderRefactoring\build\locker\classes\library"-Dscala.usejavacp=true-Dscala.repl.vids=1-Dscala.repl.autoruncode=C:\Users\xeno.by/.scala_autorun -Dscala.repl.maxprintstring=0 scala.tools.nsc.Main-deprecation -unchecked -Xexperimental-language:experimental.macros -Yreify-debug -Ymacro-debug-verbose -Xlog-implicits -Yshow-trees-compact -Yshow-trees-stringified -g:vars Test.scala, home =C:\Projects\KeplerUnderRefactoring\sandbox
undetParam added: typeT
undetParam inferred: typeT as Unit
looking for macro implementation: macro method reify
macro expansion is serviced by a fast track
calculateUndetparams:Set()
typechecking macro expansion scala.reflect.runtime.`package`.universe.reify[Unit]({
classC[T>:Nothing<:StringwithSingleton] extends scala.AnyRef {
def<init>():C[T] = {
C.super.<init>();
()
}
};
()
}) at source-C:\Projects\KeplerUnderRefactoring\sandbox\Test.scala,line-4,offset=75
looking for macro implementation: macro method reify
macro expansion is serviced by a fast track
argss:List(List(MacroContext(reify@source-C:\Projects\KeplerUnderRefactoring\sandbox\Test.scala,line-4,offset=75+0)), List(Expr[Nothing]({
classC[T>:Nothing<:StringwithSingleton] extends scala.AnyRef {
def<init>():C[T] = {
C.super.<init>();
()
}
};
()
})))
paramss:List(List(value c), List(value expr))
rawArgs:List(MacroContext(reify@source-C:\Projects\KeplerUnderRefactoring\sandbox\Test.scala,line-4,offset=75+0), Expr[Nothing]({
classC[T>:Nothing<:StringwithSingleton] extends scala.AnyRef {
def<init>():C[T] = {
C.super.<init>();
()
}
};
()
}))
reifying =
{
classC[T>:Nothing<:StringwithSingleton] extends scala.AnyRef {
def<init>():C[T] = {
C.super.<init>();
()
}
};
()
}
Block(List(ClassDef(Modifiers(), newTypeName("C"), List(TypeDef(Modifiers(<param>), newTypeName("T"), List(), TypeTree().setType( <:StringwithSingleton))), Template(List(Select(Ident(newTermName("scala")), newTypeName("AnyRef"))), ValDef(Modifiers(private), newTermName("_"), TypeTree().setType(<notype>), EmptyTree), List(DefDef(Modifiers(), newTermName("<init>"), List(), List(List()), TypeTree().setType(C[T]), Block(List(Apply(Select(Super(This(newTypeName("")), newTypeName("")), newTermName("<init>")), List())), Literal(Constant(())))))))), Literal(Constant(())))
reifee is located at: source-C:\Projects\KeplerUnderRefactoring\sandbox\Test.scala,line-4,offset=75
prefix = scala.reflect.runtime.`package`.universe
[calculate phase]
boundSym:classC of type<notype>
boundSym:typeT of type<:StringwithSingleton
boundSym: constructor C of typeC[T]
[reshape phase]
TypeTree, essential: <:StringwithSingleton (TypeBoundsType)
verdict: rolled back to original >:Nothing<:StringwithSingletonTypeTree, essential: Nothing (TypeRef)
verdict: rolled back to original _root_.scala.NothingTypeTree, essential: StringwithSingleton (RefinedType)
verdict: rolled back to original StringwithSingletonTypeTree, non-essential: C[T] (TypeRef)
verdict: discarded
[metalevels phase]
[interlude]
symbol table = <empty>
reifee =
{
classC[T>:Nothing<:StringwithSingleton] extends scala.AnyRef {
def<init>():C[T] = {
C.super.<init>();
()
}
};
()
}
Block(List(ClassDef(Modifiers(), newTypeName("C"), List(TypeDef(Modifiers(<param>), newTypeName("T"), List(), TypeBoundsTree(Select(Select(Ident(newTermName("_root_")), newTermName("scala")), newTypeName("Nothing")), CompoundTypeTree(Template(List(Ident(newTypeName("String")), Ident(newTypeName("Singleton"))), ValDef(Modifiers(private), newTermName("_"), TypeTree().setType(<notype>), EmptyTree), List()))))), Template(List(Select(Ident(newTermName("scala")), newTypeName("AnyRef"))), ValDef(Modifiers(private), newTermName("_"), TypeTree().setType(<notype>), EmptyTree), List(DefDef(Modifiers(), newTermName("<init>"), List(), List(List()), TypeTree(), Block(List(Apply(Select(Super(This(newTypeName("")), newTypeName("")), newTermName("<init>")), List())), Literal(Constant(())))))))), Literal(Constant(())))
[reify phase]
reifying bound typeclassNothing (underlying typeisNothing, dealiased is Nothing)
tpe is locatable: reify as Ident(classNothing)
macro expansion has failed: java.lang.Error:unexpected: bound typethat doesn't have a tpe: Ident(newTypeName("String"))
Test.scala:4:error: exception during macro expansion:
java.lang.Error:unexpected: bound typethat doesn't have a tpe: Ident(newTypeName("String"))
at scala.reflect.reify.codegen.GenTrees$class.reifyBoundType$1(GenTrees.scala:165)
at scala.reflect.reify.codegen.GenTrees$class.reifyBoundType(GenTrees.scala:214)
at scala.reflect.reify.codegen.GenTrees$class.reifyTree(GenTrees.scala:56)
at scala.reflect.reify.Reifier.reifyTree(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:45)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyList$1.apply(GenUtils.scala:11)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyList$1.apply(GenUtils.scala:11)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyList(GenUtils.scala:11)
at scala.reflect.reify.Reifier.reifyList(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:51)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:19)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:14)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenTrees$class.reifyTree(GenTrees.scala:65)
at scala.reflect.reify.Reifier.reifyTree(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:45)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:19)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:14)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenTrees$class.reifyTree(GenTrees.scala:65)
at scala.reflect.reify.Reifier.reifyTree(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:45)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:19)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:14)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenTrees$class.reifyTree(GenTrees.scala:65)
at scala.reflect.reify.Reifier.reifyTree(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:45)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:19)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:14)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenTrees$class.reifyTree(GenTrees.scala:65)
at scala.reflect.reify.Reifier.reifyTree(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:45)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyList$1.apply(GenUtils.scala:11)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyList$1.apply(GenUtils.scala:11)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyList(GenUtils.scala:11)
at scala.reflect.reify.Reifier.reifyList(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:51)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:19)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:14)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenTrees$class.reifyTree(GenTrees.scala:65)
at scala.reflect.reify.Reifier.reifyTree(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:45)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyList$1.apply(GenUtils.scala:11)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyList$1.apply(GenUtils.scala:11)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyList(GenUtils.scala:11)
at scala.reflect.reify.Reifier.reifyList(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:51)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.reflect.reify.codegen.GenUtils$$anonfun$reifyProduct$2.apply(GenUtils.scala:19)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:237)
at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
at scala.collection.immutable.List.foreach(List.scala:77)
at scala.collection.TraversableLike$class.map(TraversableLike.scala:237)
at scala.collection.AbstractTraversable.map(Traversable.scala:105)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:19)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenUtils$class.reifyProduct(GenUtils.scala:14)
at scala.reflect.reify.Reifier.reifyProduct(Reifier.scala:14)
at scala.reflect.reify.codegen.GenTrees$class.reifyTree(GenTrees.scala:65)
at scala.reflect.reify.Reifier.reifyTree(Reifier.scala:14)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:45)
at scala.reflect.reify.phases.Reify$$anonfun$reify$1.apply(Reify.scala:38)
at scala.reflect.reify.phases.Reify$reifyStack$.push(Reify.scala:27)
at scala.reflect.reify.phases.Reify$class.reify(Reify.scala:38)
at scala.reflect.reify.Reifier.reify(Reifier.scala:14)
at scala.reflect.reify.Phases$$anonfun$mkReificationPipeline$1.apply(Phases.scala:35)
at scala.reflect.reify.Phases$$anonfun$mkReificationPipeline$1.apply(Phases.scala:16)
at scala.reflect.reify.Reifier.liftedTree1$1(Reifier.scala:62)
at scala.reflect.reify.Reifier.reification(Reifier.scala:48)
at scala.reflect.reify.package$.reifyTree(package.scala:26)
at scala.reflect.makro.runtime.Reifiers$class.reifyTree(Reifiers.scala:22)
at scala.reflect.makro.runtime.Context.reifyTree(Context.scala:6)
at scala.reflect.makro.runtime.Context.reifyTree(Context.scala:6)
at scala.reflect.reify.Taggers$$anonfun$1.apply(Taggers.scala:77)
at scala.reflect.reify.Taggers$$anonfun$1.apply(Taggers.scala:77)
at scala.reflect.reify.Taggers.translatingReificationErrors(Taggers.scala:83)
at scala.reflect.reify.Taggers.materializeExpr(Taggers.scala:77)
reify {
^
one error found
The text was updated successfully, but these errors were encountered:
@xeno-by said (edited on May 27, 2012 1:35:42 PM UTC):
The problem is that parents of a Template are both symless and typeless. Unfortunately, body isn't perfect either.
The text was updated successfully, but these errors were encountered: