diff options
author | Paul Phillips <paulp@improving.org> | 2009-02-12 15:43:01 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2009-02-12 15:43:01 +0000 |
commit | fb80d0027438374326e28ff522eca1732677d3b2 (patch) | |
tree | fb2dc213c817e9b4ddc425c81b31271f42c74adf | |
parent | 903933d7fd70478747e49a45634701942881d444 (diff) | |
download | scala-fb80d0027438374326e28ff522eca1732677d3b2.tar.gz scala-fb80d0027438374326e28ff522eca1732677d3b2.tar.bz2 scala-fb80d0027438374326e28ff522eca1732677d3b2.zip |
terminated infinite loop in typedTypeApply; see...
terminated infinite loop in typedTypeApply; see bug #278
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 533e80ec45..7da10d7cc0 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2577,7 +2577,8 @@ trait Typers { self: Analyzer => } else // @M: there's probably something wrong when args.length != tparams.length... (triggered by bug #320) // Martin, I'm using fake trees, because, if you use args or arg.map(typedType), // inferPolyAlternatives loops... -- I have no idea why :-( - args.map(t => errorTree(tree, "wrong number of type parameters for "+treeSymTypeMsg(fun))) + // ...actually this was looping anyway, see bug #278. + return errorTree(fun, "wrong number of type parameters for "+treeSymTypeMsg(fun)) typedTypeApply(fun, args1) case SingleType(_, _) => |