Crash in presentation compiler in macro paradise plugin

99 views

Skip to first unread message

adp...@semanticmachines.com

unread,

Sep 6, 2016, 9:49:55 AM9/6/16

to Scala IDE User

I am seeing a lot of exceptions that look like the stack trace I've attached blow. Bug.scala looks like this:

package bug

object Bar {

def foo[T <: Comparable[T]]: Ordering[T] = (a: T, b: T) => a.compareTo(b)

def main(args: Array[String]): Unit = {

val data = IndexedSeq("1","3","2")

println(data.sorted(foo[String]))

}

</code></pre>

but I'm fairly sure that has nothing to do with it. It happens on many of my source files, and for many other objects besides IndexedSeq. Has anyone else seen this before? I will file a bug if I can minimize the problem, but that may take some time. I am wondering if it is related to https://github.com/scalamacros/paradise/issues/7.

eclipse.buildId=4.5.2.M20160212-1500

java.version=1.8.0_31

java.vendor=Oracle Corporation

BootLoader constants: OS=macosx, ARCH=x86_64, WS=cocoa, NL=en_US

Framework arguments: -product org.eclipse.epp.package.java.product -product org.eclipse.epp.package.java.product -keyring /Users/adpauls/.eclipse_keyring -showlocation

Command-line arguments: -os macosx -ws cocoa -arch x86_64 -product org.eclipse.epp.package.java.product -data file:/Users/adpauls/sm/EclipseProjects/ -product org.eclipse.epp.package.java.product -keyring /Users/adpauls/.eclipse_keyring -showlocation

org.scala-ide.sdt.core

Error

Sun Sep 04 09:01:15 PDT 2016

AT: RangePosition(/Users/adpauls/sm/git/scarecrow/dialogue/src/main/scala/bug/Bug.scala, 276, 276, 286)

scala.reflect.internal.FatalError: no progress in completing object IndexedSeq: <?>

at scala.reflect.internal.Reporting$class.abort(Reporting.scala:59)

at scala.reflect.internal.SymbolTable.abort(SymbolTable.scala:16)

at scala.reflect.internal.Symbols$Symbol.info(Symbols.scala:1522)

at scala.reflect.internal.Symbols$Symbol.initialize(Symbols.scala:1659)

at org.scalamacros.paradise.typechecker.Namers$Namer$class.patchedCompanionSymbolOf(Namers.scala:586)

at org.scalamacros.paradise.typechecker.Namers$$anon$3.patchedCompanionSymbolOf(Namers.scala:13)

at org.scalamacros.paradise.typechecker.Namers$Namer$class.finishSymbol(Namers.scala:192)

at org.scalamacros.paradise.typechecker.Namers$$anon$3.finishSymbol(Namers.scala:13)

at org.scalamacros.paradise.typechecker.Namers$Namer$class.dispatch$1(Namers.scala:34)

at org.scalamacros.paradise.typechecker.Namers$Namer$class.enterSym(Namers.scala:40)

at org.scalamacros.paradise.typechecker.Namers$$anon$3.enterSym(Namers.scala:13)

at org.scalamacros.paradise.typechecker.AnalyzerPlugins$MacroPlugin$.pluginsEnterSym(AnalyzerPlugins.scala:36)

at scala.tools.nsc.typechecker.AnalyzerPlugins$$anon$13.custom(AnalyzerPlugins.scala:429)

at scala.tools.nsc.typechecker.AnalyzerPlugins$$anonfun$2.apply(AnalyzerPlugins.scala:371)

at scala.collection.immutable.List.map(List.scala:273)

at scala.tools.nsc.typechecker.AnalyzerPlugins$class.invoke(AnalyzerPlugins.scala:371)

at scala.tools.nsc.typechecker.AnalyzerPlugins$class.pluginsEnterSym(AnalyzerPlugins.scala:423)

at org.scalaide.core.internal.compiler.ScalaPresentationCompiler$$anon$1.pluginsEnterSym(ScalaPresentationCompiler.scala:77)

at scala.tools.nsc.typechecker.Namers$Namer.enterSym(Namers.scala:275)

at scala.tools.nsc.typechecker.Namers$Namer$$anonfun$enterSyms$1.apply(Namers.scala:501)

at scala.tools.nsc.typechecker.Namers$Namer$$anonfun$enterSyms$1.apply(Namers.scala:500)

at scala.collection.LinearSeqOptimized$class.foldLeft(LinearSeqOptimized.scala:124)

at scala.collection.immutable.List.foldLeft(List.scala:84)

at scala.tools.nsc.typechecker.Namers$Namer.enterSyms(Namers.scala:500)

at scala.tools.nsc.typechecker.Namers$Namer.templateSig(Namers.scala:926)

at scala.tools.nsc.typechecker.Namers$Namer.moduleSig(Namers.scala:990)

at scala.tools.nsc.typechecker.Namers$Namer.getSig$1(Namers.scala:1527)

at scala.tools.nsc.typechecker.Namers$Namer.typeSig(Namers.scala:1542)

at scala.tools.nsc.typechecker.Namers$Namer$$anonfun$monoTypeCompleter$1$$anonfun$apply$1.apply$mcV$sp(Namers.scala:782)

at scala.tools.nsc.typechecker.Namers$Namer$$anonfun$monoTypeCompleter$1$$anonfun$apply$1.apply(Namers.scala:781)

at scala.tools.nsc.typechecker.Namers$Namer.scala$tools$nsc$typechecker$Namers$Namer$$logAndValidate(Namers.scala:1569)

at scala.tools.nsc.typechecker.Namers$Namer$$anonfun$monoTypeCompleter$1.apply(Namers.scala:781)

at scala.tools.nsc.typechecker.Namers$Namer$$anonfun$monoTypeCompleter$1.apply(Namers.scala:773)

at scala.tools.nsc.typechecker.Namers$$anon$1.completeImpl(Namers.scala:1685)

at scala.tools.nsc.typechecker.Namers$LockingTypeCompleter$class.complete(Namers.scala:1693)

at scala.tools.nsc.typechecker.Namers$$anon$1.complete(Namers.scala:1683)

at scala.reflect.internal.Symbols$Symbol.info(Symbols.scala:1514)

at scala.reflect.internal.Symbols$Symbol.tpe_$times(Symbols.scala:1478)

at scala.reflect.internal.Symbols$Symbol.tpe(Symbols.scala:1443)

at scala.reflect.internal.Symbols$Symbol.hasVolatileType(Symbols.scala:910)

at scala.reflect.internal.tpe.FindMembers$FindMember.shortCircuit(FindMembers.scala:232)

at scala.reflect.internal.tpe.FindMembers$FindMemberBase.walkBaseClasses(FindMembers.scala:97)

at scala.reflect.internal.tpe.FindMembers$FindMemberBase.searchConcreteThenDeferred(FindMembers.scala:56)

at scala.reflect.internal.tpe.FindMembers$FindMemberBase.apply(FindMembers.scala:48)

at scala.reflect.internal.Types$Type.scala$reflect$internal$Types$Type$$findMemberInternal$1(Types.scala:1014)

at scala.reflect.internal.Types$Type.findMember(Types.scala:1016)

at scala.reflect.internal.tpe.TypeMaps$adaptToNewRunMap$.adaptToNewRun(TypeMaps.scala:1091)

at scala.reflect.internal.tpe.TypeMaps$adaptToNewRunMap$.apply(TypeMaps.scala:1133)

at scala.reflect.internal.tpe.TypeMaps$adaptToNewRunMap$.apply(TypeMaps.scala:1168)

at scala.reflect.internal.Symbols$Symbol.adaptInfos(Symbols.scala:1642)

at scala.reflect.internal.Symbols$Symbol.rawInfo(Symbols.scala:1594)

at scala.tools.nsc.typechecker.Typers$Typer.isStale(Typers.scala:495)

at scala.tools.nsc.typechecker.Typers$Typer.reallyExists(Typers.scala:487)

at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$qualifies$1(Typers.scala:4843)

at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$108.apply(Typers.scala:4869)

at scala.reflect.internal.Symbols$Symbol.filter(Symbols.scala:1942)

at scala.tools.nsc.typechecker.Contexts$Context.lookupImport$1(Contexts.scala:1114)

at scala.tools.nsc.typechecker.Contexts$Context.lookupSymbol(Contexts.scala:1135)

at scala.tools.nsc.typechecker.Typers$Typer.typedIdent$2(Typers.scala:4869)

at scala.tools.nsc.typechecker.Typers$Typer.typedIdentOrWildcard$1(Typers.scala:4908)

at scala.tools.nsc.typechecker.Typers$Typer.typedInAnyMode$1(Typers.scala:5340)

at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5360)

at scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5396)

at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5423)

at scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5370)

at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5374)

at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$99.apply(Typers.scala:4525)

at scala.tools.nsc.typechecker.Typers$Typer.silent(Typers.scala:680)

at scala.tools.nsc.typechecker.Typers$Typer.normalTypedApply$1(Typers.scala:4524)

at scala.tools.nsc.typechecker.Typers$Typer.typedApply$1(Typers.scala:4580)

at scala.tools.nsc.typechecker.Typers$Typer.typedInAnyMode$1(Typers.scala:5343)

at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5360)

at scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5396)

at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5423)

at scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5370)

at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5374)

at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5463)

at scala.tools.nsc.typechecker.Typers$Typer.computeType(Typers.scala:5554)

at scala.tools.nsc.typechecker.Namers$Namer.assignTypeToTree(Namers.scala:880)

at scala.tools.nsc.typechecker.Namers$Namer.valDefSig(Namers.scala:1382)

at scala.tools.nsc.typechecker.Namers$Namer.getSig$1(Namers.scala:1533)