|
Martin edited on 2007-05-23 20:42:49.0
|
|
It happens in tailcalls so Iulian should look at it first.
|
|
Burak edited on 2007-05-23 21:54:07.0
|
Here is the full stacktrace (which will hopefully display right after the last bugtracking update:o)
Exception in thread "main" scala.tools.nsc.symtab.Types$TypeError: type mismatch;
found : Seq[List[Int]]
required: Seq[Int]
at scala.tools.nsc.typechecker.Contexts$Context.error(Contexts.scala:268)
at scala.tools.nsc.typechecker.Infer$Inferencer.error(Infer.scala:277)
at scala.tools.nsc.typechecker.Infer$Inferencer.typeError(Infer.scala:286)
at scala.tools.nsc.typechecker.Infer$Inferencer.typeErrorTree(Infer.scala:292)
at scala.tools.nsc.typechecker.Typers$Typer.adapt(Typers.scala:726)
at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:2651)
at scala.tools.nsc.typechecker.Typers$Typer.typedArg(Typers.scala:1430)
at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:1456)
at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:1456)
at scala.List$.map2(List.scala:276)
at scala.tools.nsc.typechecker.Typers$Typer.typedArgs(Typers.scala:1456)
at scala.tools.nsc.typechecker.Typers$Typer.doTypedApply(Typers.scala:1509)
at scala.tools.nsc.typechecker.Typers$Typer.typedApply$0(Typers.scala:2023)
at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:2565)
at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:2648)
at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:2681)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.rewriteTailCall(TailCalls.scala:287)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.transform(TailCalls.scala:259)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.transform(TailCalls.scala:211)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$29.apply(Trees.scala:1296)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$29.apply(Trees.scala:1296)
at scala.List$.loop$0(List.scala:243)
at scala.List$.mapConserve(List.scala:260)
at scala.tools.nsc.ast.Trees$Transformer.transformTrees(Trees.scala:1296)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.transform(TailCalls.scala:228)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.transform(TailCalls.scala:140)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.transform(TailCalls.scala:168)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$35.apply(Trees.scala:1314)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$35.apply(Trees.scala:1312)
at scala.List$.loop$0(List.scala:243)
at scala.List$.mapConserve(List.scala:260)
at scala.tools.nsc.ast.Trees$Transformer.transformStats(Trees.scala:1312)
at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:1226)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.transform(TailCalls.scala:203)
at scala.tools.nsc.ast.Trees$Transformer.transformTemplate(Trees.scala:1298)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$22.apply(Trees.scala:1194)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$22.apply(Trees.scala:1194)
at scala.tools.nsc.ast.Trees$Transformer.atOwner(Trees.scala:1320)
at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:1193)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.transform(TailCalls.scala:193)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$35.apply(Trees.scala:1314)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$35.apply(Trees.scala:1312)
at scala.List$.loop$0(List.scala:243)
at scala.List$.mapConserve(List.scala:260)
at scala.tools.nsc.ast.Trees$Transformer.transformStats(Trees.scala:1312)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$21.apply(Trees.scala:1190)
at scala.tools.nsc.ast.Trees$Transformer$$anonfun$21.apply(Trees.scala:1190)
at scala.tools.nsc.ast.Trees$Transformer.atOwner(Trees.scala:1320)
at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:1189)
at scala.tools.nsc.transform.TailCalls$TailCallElimination.transform(TailCalls.scala:189)
at scala.tools.nsc.ast.Trees$Transformer.transformUnit(Trees.scala:1315)
at scala.tools.nsc.transform.TailCalls$Phase.apply(TailCalls.scala:37)
at scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:241)
at scala.tools.nsc.Global$GlobalPhase$$anonfun$2.apply(Global.scala:230)
at scala.tools.nsc.Global$GlobalPhase$$anonfun$2.apply(Global.scala:230)
at scala.Iterator$class.foreach(Iterator.scala:369)
at scala.collection.mutable.ListBuffer$$anon$0.foreach(ListBuffer.scala:245)
at scala.tools.nsc.Global$GlobalPhase.run(Global.scala:230)
at scala.tools.nsc.Global$Run.compileSources(Global.scala:498)
at scala.tools.nsc.Global$Run.compile(Global.scala:572)
at scala.tools.nsc.Main$.process(Main.scala:57)
at scala.tools.nsc.Main$.main(Main.scala:77)
at scala.tools.nsc.Main.main(Main.scala)
|
|
Iulian edited on 2007-05-24 12:01:07.0
|
|
The problem is in Uncurry, which, IMO, assigns wrong types in calls with arguments coerced to repeated parameter types. In this case:
foo(t: _*)
t will get the type Seq[List[Int]] (instead of Seq[Int]) because uncurry simply adds Seq[] around t's previous type. Somehow uncurry does not retype that tree, so it gets away, but tail calls uses those same trees to apply a label, and the typer complains.
I think the proper way would be to check first if t's type conforms to Seq, in which case leave it alone.
Funny thing this used to work before (according to SVN, that code hasn't change for quite a while..)
|
|
Burak edited on 2007-05-24 14:07:34.0
|
|
Yes, I found that surprising, too ... It might be interesting to look at the log between RC2 and final.
|
|
Stephane edited on 2007-05-29 14:40:21.0
|
|
|
|
Martin edited on 2007-05-29 16:14:27.0
|
|
|
