Aladdin - Scala Bugtracking
[#693] project: compiler priority: low category: bug
submitter assigned to status date submitted
Sean Martin fixed 2006-08-06 16:36:26.0
subject Double-def crash
code 
abstract class test4 {
  trait Type;
  val x : Type = null;
  val x : Int = 10; 
}
what happened 
test/test4.scala:6 error: x is already defined as value x
  val x : Int = 10;
      ^
Exception in thread "main" java.lang.AssertionError: assertion failed: java.lang.Object with scala.ScalaObject{d\
ef this(): test.test4; abstract trait Type extends java.lang.Object with scala.ScalaObject; def x: test4.this.Ty\
pe; private val x : test4.this.Type; def x: scala.tools.nsc.typechecker.Namers$Namer$$anon$3@39626c; private val\
 x : scala.Int}#Type
	at scala.Predef$.assert(Predef.scala:182)
	at scala.tools.nsc.symtab.Types$TypeRef.(Types.scala:809)
	at scala.tools.nsc.symtab.Types$$anon$5.(Types.scala:1109)
	at scala.tools.nsc.symtab.Types$class.rawTypeRef(Types.scala:1109)
	at scala.tools.nsc.symtab.SymbolTable.rawTypeRef(SymbolTable.scala:10)
	at scala.tools.nsc.symtab.Types$class.typeRef(Types.scala:1103)
	at scala.tools.nsc.symtab.SymbolTable.typeRef(SymbolTable.scala:10)
	at scala.tools.nsc.symtab.Types$TypeMap.mapOver(Types.scala:1225)
	at scala.tools.nsc.symtab.Types$AsSeenFromMap.apply(Types.scala:1343)
	at scala.tools.nsc.symtab.Types$AsSeenFromMap.apply(Types.scala:1303)
	at scala.tools.nsc.symtab.Types$TypeMap.mapOver(Types.scala:1256)
	at scala.tools.nsc.symtab.Types$AsSeenFromMap.apply(Types.scala:1343)
	at scala.tools.nsc.symtab.Types$Type.asSeenFrom(Types.scala:194)
	at scala.tools.nsc.symtab.Types$Type.memberType(Types.scala:221)
	at scala.tools.nsc.typechecker.Infer$Inferencer$$anonfun$44$$anonfun$45.apply(Infer.scala:639)
	at scala.tools.nsc.typechecker.Infer$Inferencer$$anonfun$44$$anonfun$45.apply(Infer.scala:639)
	at scala.List.filter(List.scala:694)
	at scala.tools.nsc.typechecker.Infer$Inferencer$$anonfun$44.apply(Infer.scala:639)
	at scala.tools.nsc.typechecker.Infer$Inferencer$$anonfun$44.apply(Infer.scala:638)
	at scala.tools.nsc.typechecker.Infer$Inferencer.tryTwice(Infer.scala:721)
	at scala.tools.nsc.typechecker.Infer$Inferencer.inferExprAlternative(Infer.scala:638)
	at scala.tools.nsc.typechecker.Typers$Typer.adapt(Typers.scala:364)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1766)
	at scala.tools.nsc.typechecker.Typers$Typer.typedType(Typers.scala:1813)
	at scala.tools.nsc.typechecker.Typers$Typer.typedDefDef(Typers.scala:813)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1447)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1764)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1791)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:1004)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:994)
	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.List$.loop$0(List.scala:236)
	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:994)
	at scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:709)
	at scala.tools.nsc.typechecker.Typers$Typer.typedClassDef(Typers.scala:636)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1438)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1764)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1791)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:1004)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$46.apply(Typers.scala:994)
	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:994)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1434)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1764)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1791)
	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 after type error.
[back to overview]
Changes of this bug report
Martin  edited on  2006-08-20 14:05:25.0