diff options
author | Martin Odersky <odersky@gmail.com> | 2003-11-11 14:06:09 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-11-11 14:06:09 +0000 |
commit | ab3ba403efdb2c4ab829e526c8fe21783c44ef27 (patch) | |
tree | 43b30f20b1a6a9cdbe0f58a8d876f89562da4b42 /sources/scalac/typechecker | |
parent | 8f126982806efc1c68ac717c7fd9dba70d85e787 (diff) | |
download | scala-ab3ba403efdb2c4ab829e526c8fe21783c44ef27.tar.gz scala-ab3ba403efdb2c4ab829e526c8fe21783c44ef27.tar.bz2 scala-ab3ba403efdb2c4ab829e526c8fe21783c44ef27.zip |
*** empty log message ***
Diffstat (limited to 'sources/scalac/typechecker')
-rw-r--r-- | sources/scalac/typechecker/Infer.java | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/sources/scalac/typechecker/Infer.java b/sources/scalac/typechecker/Infer.java index 0ad12d6cd2..29acd44100 100644 --- a/sources/scalac/typechecker/Infer.java +++ b/sources/scalac/typechecker/Infer.java @@ -337,13 +337,15 @@ public class Infer implements Modifiers, Kinds { Type[] result; if (params.length == 1 && (params[0].flags & REPEATED) != 0) { Type[] formals = new Type[length]; - Type ft = params[0].type().typeArgs()[0]; - // params[0] has type Seq[T], we need T here - for (int i = 0; i < length; i++) formals[i] = ft; - return formals; - } else { - return Symbol.type(params); + Type[] args = params[0].type().typeArgs(); + if (args.length == 1) { + Type ft = args[0]; + // params[0] has type Seq[T], we need T here + for (int i = 0; i < length; i++) formals[i] = ft; + return formals; + } } + return Symbol.type(params); } /** Is type fully defined, i.e. no embedded anytypes or typevars in it? |