Aladdin - Scala Bugtracking
[#664] project: compiler priority: low category: bug
submitter assigned to status date submitted
Sean Martin fixed 2006-07-18 07:06:34.0
subject compiler crash
code 
package test;
abstract class Test;
trait Test2 extends Test {
  trait Foo extends super.Foo {
    trait Bar extends super.Bar;
  }
}
what happened 
test/Test.scala:4 error: type Foo is not a member of test.Test with scala.ScalaObject
  trait Foo extends super.Foo {
                         ^
Exception in thread "main" java.lang.NullPointerException
	at scala.tools.nsc.typechecker.Typers$Typer.searchImplicit$0(Typers.scala:1932)
	at scala.tools.nsc.typechecker.Typers$Typer.inferImplicit(Typers.scala:1952)
	at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$inferView(Typers.scala:66\
)
	at scala.tools.nsc.typechecker.Typers$Typer.inferView(Typers.scala:75)
	at scala.tools.nsc.typechecker.Typers$Typer.adaptToMember(Typers.scala:510)
	at scala.tools.nsc.typechecker.Typers$Typer.adaptToName(Typers.scala:519)
	at scala.tools.nsc.typechecker.Typers$Typer.typedSelect$0(Typers.scala:1293)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1689)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1758)
	at scala.tools.nsc.typechecker.Typers$Typer.typedTypeConstructor(Typers.scala:1809)
	at scala.tools.nsc.typechecker.Typers$Typer.parentTypes(Typers.scala:534)
	at scala.tools.nsc.typechecker.Namers$Namer.templateSig(Namers.scala:386)
	at scala.tools.nsc.typechecker.Namers$Namer.classSig(Namers.scala:397)
	at scala.tools.nsc.typechecker.Namers$Namer.scala$tools$nsc$typechecker$Namers$Namer$$typeSig(Namers.scala:466)\

	at scala.tools.nsc.typechecker.Namers$Namer$$anon$0.complete(Namers.scala:310)
	at scala.tools.nsc.symtab.Symbols$Symbol.info(Symbols.scala:346)
	at scala.tools.nsc.symtab.Symbols$Symbol.initialize(Symbols.scala:423)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1423)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1758)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1785)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:998)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:988)
	at scala.List$.loop$0(List.scala:232)
	at scala.List$.mapConserve(List.scala:249)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:988)
	at scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:703)
	at scala.tools.nsc.typechecker.Typers$Typer.typedClassDef(Typers.scala:630)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1432)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1758)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1785)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:998)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:988)
	at scala.List$.loop$0(List.scala:232)
	at scala.List$.mapConserve(List.scala:249)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:988)
	at scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:703)
	at scala.tools.nsc.typechecker.Typers$Typer.typedClassDef(Typers.scala:630)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1432)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1758)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1785)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:998)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:988)
	at scala.List$.loop$0(List.scala:232)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:988)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1428)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1758)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1785)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$1.apply(Analyzer.scala:38)
	at scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:216)
	at scala.tools.nsc.Global$GlobalPhase$$anonfun$1.apply(Global.scala:205)
	at scala.tools.nsc.Global$GlobalPhase$$anonfun$1.apply(Global.scala:205)
	at scala.Iterator$class.foreach(Iterator.scala:304)
	at scala.collection.mutable.ListBuffer$$anon$0.foreach(ListBuffer.scala:216)
	at scala.tools.nsc.Global$GlobalPhase.run(Global.scala:205)
	at scala.tools.nsc.Global$Run.compileSources(Global.scala:467)
	at scala.tools.nsc.Global$Run.compile(Global.scala:531)
	at scala.tools.nsc.Main$.process(Main.scala:76)
	at scala.tools.nsc.Main$.main(Main.scala:98)
	at scala.tools.nsc.Main.main(Main.scala)
what expected no crash.
[back to overview]
Changes of this bug report
Martin  edited on  2006-07-18 23:06:29.0