Aladdin - Scala Bugtracking
[#649] project: compiler priority: low category: bug
submitter assigned to status date submitted
Stephane Martin fixed 2006-07-07 20:33:41.0
subject MatchError in typechecker
code 
object test {
  def foo[A] = 0
  def foo[A] = foo[A]
}
what happened 
Exception in thread "main" scala.MatchError: 
        at scala.tools.nsc.symtab.Types$AntiPolyType.memberType(Types.scala:977)
        at scala.tools.nsc.typechecker.Infer$Inferencer$$anonfun$41$$anonfun$42.apply(Infer.scala:604)
        at scala.tools.nsc.typechecker.Infer$Inferencer$$anonfun$41$$anonfun$42.apply(Infer.scala:604)
        at scala.List.filter(List.scala:695)
        at scala.tools.nsc.typechecker.Infer$Inferencer$$anonfun$41.apply(Infer.scala:604)
        at scala.tools.nsc.typechecker.Infer$Inferencer$$anonfun$41.apply(Infer.scala:603)
        at scala.tools.nsc.typechecker.Infer$Inferencer.tryTwice(Infer.scala:691)
        at scala.tools.nsc.typechecker.Infer$Inferencer.inferExprAlternative(Infer.scala:603)
        at scala.tools.nsc.typechecker.Typers$Typer.adapt(Typers.scala:361)
what expected no crash
[back to overview]
Changes of this bug report
Martin  edited on  2006-07-10 19:30:13.0