Aladdin - Scala Bugtracking
[#702] project: compiler priority: low category: bug
submitter assigned to status date submitted
Sean _ _ 2006-08-15 12:25:46.0
subject compiler crash
code 
abstract class Test {
  class y;
  var x : Int => y = null;
  val x : Int => y = t => new y;
}
what happened 
test/test.scala:6 error: x  is already defined as variable x
  val x : Int => y = t => new y;
      ^
Exception in thread "main" java.lang.AssertionError: assertion failed: java.lang.Object with scala.ScalaObject{d\
ef this(): test.Test; class y extends java.lang.Object with scala.ScalaObject{def this(): Test.this.y}; def x: (\
scala.Int) => Test.this.y; def x_=((scala.Int) => Test.this.y): scala.Unit; private var x : (scala.Int) => Test.\
this.y; def x: scala.tools.nsc.typechecker.Namers$Namer$$anon$3@a87e7b; private val x : (scala.Int) => Test.this\
.y}#y
	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.List$.loop$0(List.scala:232)
	at scala.List$.mapConserve(List.scala:249)
	at scala.tools.nsc.symtab.Types$TypeMap.mapOver(Types.scala:1223)
	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
[back to overview]
Changes of this bug report