Skip to content

stale symbol; type scala$Predef$$Class$$T#4741 in type Class, defined in run 2, is referred to in run 3 #130

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
gzm0 opened this issue May 5, 2014 · 4 comments

Comments

@gzm0
Copy link
Contributor

gzm0 commented May 5, 2014

When running the following test:

checkCompile("intercepted",
    """
    class A
    """
) { (tree, context) =>
  implicit val ctx = context
  println(tree.show)
}

I get the following exception:

error occurred during: ClassInfo(ThisType(module class scala), class AnyVal): ClassInfo(ThisType(module class scala), class AnyVal) member getClass
[error] Test test.transform.ConstructorsTest.printTest failed: stale symbol; type scala$Predef$$Class$$T#4741 in type Class, defined in run 2, is referred to in run 3
[error]     at dotty.tools.dotc.core.Denotations$SingleDenotation.staleSymbolError(Denotations.scala:604)
[error]     at dotty.tools.dotc.core.Denotations$SingleDenotation.bringForward(Denotations.scala:497)
[error]     at dotty.tools.dotc.core.Denotations$SingleDenotation.current(Denotations.scala:517)
[error]     at dotty.tools.dotc.core.Symbols$Symbol.denot(Symbols.scala:338)
[error]     at dotty.tools.dotc.core.Symbols$.toDenot(Symbols.scala:535)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.isLocal(UnPickler.scala:283)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readType(UnPickler.scala:642)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$readTypeRef$1.apply(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$readTypeRef$1.apply(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.atReadPos(UnPickler.scala:307)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.at(UnPickler.scala:297)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readTypeRef(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$15.apply(UnPickler.scala:647)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$15.apply(UnPickler.scala:647)
[error]     at dotty.tools.dotc.core.pickling.PickleBuffer.until(PickleBuffer.scala:161)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readType(UnPickler.scala:647)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$readTypeRef$1.apply(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$readTypeRef$1.apply(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.atReadPos(UnPickler.scala:307)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.at(UnPickler.scala:297)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readTypeRef(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readType(UnPickler.scala:679)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$9.apply(UnPickler.scala:511)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$9.apply(UnPickler.scala:511)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.atReadPos(UnPickler.scala:307)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.at(UnPickler.scala:297)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler.dotty$tools$dotc$core$pickling$UnPickler$LocalUnpickler$$parseToCompletion$1(UnPickler.scala:511)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$complete$1.apply$mcV$sp(UnPickler.scala:536)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$complete$1.apply(UnPickler.scala:536)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$complete$1.apply(UnPickler.scala:536)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.atReadPos(UnPickler.scala:307)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler.complete(UnPickler.scala:536)
[error]     at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:150)
[error]     at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:132)
[error]     at dotty.tools.dotc.core.Types$NamedType.info(Types.scala:1130)
[error]     at dotty.tools.dotc.core.Types$TypeRef.underlying(Types.scala:1217)
[error]     at dotty.tools.dotc.core.TypeApplications$$anonfun$appliedTo$extension0$1.apply(TypeApplications.scala:137)
[error]     at dotty.tools.dotc.core.TypeApplications$$anonfun$appliedTo$extension0$1.apply(TypeApplications.scala:112)
[error]     at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
[error]     at dotty.tools.dotc.core.TypeApplications$.appliedTo$extension0(TypeApplications.scala:112)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readType(UnPickler.scala:649)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$readTypeRef$1.apply(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$readTypeRef$1.apply(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.atReadPos(UnPickler.scala:307)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.at(UnPickler.scala:297)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readTypeRef(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readType(UnPickler.scala:684)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$readTypeRef$1.apply(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$$anonfun$readTypeRef$1.apply(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.atReadPos(UnPickler.scala:307)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.at(UnPickler.scala:297)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readTypeRef(UnPickler.scala:764)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.readType(UnPickler.scala:671)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$9.apply(UnPickler.scala:511)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$9.apply(UnPickler.scala:511)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.atReadPos(UnPickler.scala:307)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.at(UnPickler.scala:297)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler.dotty$tools$dotc$core$pickling$UnPickler$LocalUnpickler$$parseToCompletion$1(UnPickler.scala:511)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$complete$1.apply$mcV$sp(UnPickler.scala:536)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$complete$1.apply(UnPickler.scala:536)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler$$anonfun$complete$1.apply(UnPickler.scala:536)
[error]     at dotty.tools.dotc.core.pickling.UnPickler.atReadPos(UnPickler.scala:307)
[error]     at dotty.tools.dotc.core.pickling.UnPickler$LocalUnpickler.complete(UnPickler.scala:536)
[error]     at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:150)
[error]     at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:132)
[error]     at dotty.tools.dotc.core.Denotations$SingleDenotation.signature(Denotations.scala:377)
[error]     at dotty.tools.dotc.core.Denotations$SingleDenotation.containsSig(Denotations.scala:623)
[error]     at dotty.tools.dotc.core.Denotations$SingleDenotation.filterDisjoint(Denotations.scala:627)
[error]     at dotty.tools.dotc.core.Denotations$SingleDenotation.mapInherited(Denotations.scala:631)
[error]     at dotty.tools.dotc.core.Denotations$SingleDenotation.mapInherited(Denotations.scala:371)
[error]     at dotty.tools.dotc.core.SymDenotations$ClassDenotation$$anonfun$computeNPMembersNamed$1.collect$1(SymDenotations.scala:1107)
[error]     at dotty.tools.dotc.core.SymDenotations$ClassDenotation$$anonfun$computeNPMembersNamed$1.apply(SymDenotations.scala:1115)
[error]     at dotty.tools.dotc.core.SymDenotations$ClassDenotation$$anonfun$computeNPMembersNamed$1.apply(SymDenotations.scala:1092)
[error]     at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
[error]     at dotty.tools.dotc.core.SymDenotations$ClassDenotation.computeNPMembersNamed(SymDenotations.scala:1091)
[error]     at dotty.tools.dotc.core.SymDenotations$ClassDenotation.nonPrivateMembersNamed(SymDenotations.scala:1081)
[error]     at dotty.tools.dotc.core.SymDenotations$ClassDenotation.membersNamed(SymDenotations.scala:1068)
[error]     at dotty.tools.dotc.core.SymDenotations$ClassDenotation.findMember(SymDenotations.scala:1120)
[error]     at dotty.tools.dotc.core.Types$Type.go$1(Types.scala:364)
[error]     at dotty.tools.dotc.core.Types$Type.findMember(Types.scala:399)
[error]     at dotty.tools.dotc.core.Types$Type$$anonfun$member$1.apply(Types.scala:334)
[error]     at dotty.tools.dotc.core.Types$Type$$anonfun$member$1.apply(Types.scala:334)
[error]     at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
[error]     at dotty.tools.dotc.core.Types$Type.member(Types.scala:333)
[error]     at dotty.tools.dotc.core.Denotations$Denotation.requiredMethod(Denotations.scala:191)
[error]     at dotty.tools.dotc.core.Definitions.AnyVal_getClass$lzycompute(Definitions.scala:129)
[error]     at dotty.tools.dotc.core.Definitions.AnyVal_getClass(Definitions.scala:129)
[error]     at dotty.tools.dotc.transform.InterceptedMethods.init(InterceptedMethods.scala:53)
[error]     at dotty.tools.dotc.transform.TreeTransforms$TreeTransformer$$anonfun$transform$1.apply(TreeTransform.scala:500)
[error]     at dotty.tools.dotc.transform.TreeTransforms$TreeTransformer$$anonfun$transform$1.apply(TreeTransform.scala:497)
[error]     at scala.collection.IndexedSeqOptimized$class.foreach(IndexedSeqOptimized.scala:33)
[error]     at scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:186)
[error]     at dotty.tools.dotc.transform.TreeTransforms$TreeTransformer.transform(TreeTransform.scala:497)
[error]     at dotty.tools.dotc.transform.TreeTransforms$TreeTransformer.run(TreeTransform.scala:430)
[error]     at dotty.tools.dotc.core.Phases$Phase$$anonfun$runOn$1.apply(Phases.scala:197)
[error]     at dotty.tools.dotc.core.Phases$Phase$$anonfun$runOn$1.apply(Phases.scala:197)
[error]     at scala.collection.immutable.List.foreach(List.scala:383)
[error]     at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:197)
[error]     at dotty.tools.dotc.Run$$anonfun$compileSources$1$$anonfun$apply$mcV$sp$3.apply(Run.scala:42)
[error]     at dotty.tools.dotc.Run$$anonfun$compileSources$1$$anonfun$apply$mcV$sp$3.apply(Run.scala:40)
[error]     at scala.collection.IndexedSeqOptimized$class.foreach(IndexedSeqOptimized.scala:33)
[error]     at scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:186)
[error]     at dotty.tools.dotc.Run$$anonfun$compileSources$1.apply$mcV$sp(Run.scala:40)
[error]     at dotty.tools.dotc.Run$$anonfun$compileSources$1.apply(Run.scala:32)
[error]     at dotty.tools.dotc.Run$$anonfun$compileSources$1.apply(Run.scala:32)
[error]     at dotty.tools.dotc.util.Stats$.monitorHeartBeat(Stats.scala:68)
[error]     at dotty.tools.dotc.Run.compileSources(Run.scala:31)
[error]     at dotty.tools.dotc.Run.compile(Run.scala:63)
[error]     at test.DottyTest.checkCompile(DottyTest.scala:60)
@odersky
Copy link
Contributor

odersky commented May 5, 2014

The error output is truncated. It would be good to find out in some more depth what went wrong here. What was the stale symbol? Why did it get picked up?

@gzm0
Copy link
Contributor Author

gzm0 commented May 5, 2014

That's all the output I get... You should be able to reproduce this by just copying the code in a test method (like in LazyVals test).

@odersky
Copy link
Contributor

odersky commented May 5, 2014

This looks like it might be fixed in fix/erasure 2.

@gzm0
Copy link
Contributor Author

gzm0 commented May 6, 2014

Confirming this. Issue is fixed in #128.

@gzm0 gzm0 closed this as completed May 6, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants