diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-06-04 15:14:14 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-06-04 15:14:14 +0000 |
| commit | c481e95b2f3d0a8cc98b106c971506e102702d06 (patch) | |
| tree | 194bb07129be15d1f1e277ab3b0b63f7caf68b8d /sources | |
| parent | 3a593c580c9a23b3654ea3391fb22afa85db0697 (diff) | |
| download | scala-c481e95b2f3d0a8cc98b106c971506e102702d06.tar.gz scala-c481e95b2f3d0a8cc98b106c971506e102702d06.tar.bz2 scala-c481e95b2f3d0a8cc98b106c971506e102702d06.zip | |
*** empty log message ***
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scalac/typechecker/Analyzer.java | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/sources/scalac/typechecker/Analyzer.java b/sources/scalac/typechecker/Analyzer.java index eb9758b198..1e8ec9daa9 100644 --- a/sources/scalac/typechecker/Analyzer.java +++ b/sources/scalac/typechecker/Analyzer.java @@ -1644,12 +1644,15 @@ public class Analyzer extends Transformer implements Modifiers, Kinds { if (pt != Type.ErrorType) error(tree.pos, ex.msg); return tree.setType(Type.ErrorType); } +/* if (!(tree.type instanceof Type.MethodType)) tree = make.Apply(tree.pos, tree, Tree.EMPTY_ARRAY) .setType(tree.type); +*/ } } else if (clazz.isSubClass(definitions.SEQ_CLASS)) { // set type to instantiated sequence class constructor + // todo: should we admit even supertypes of the target type? Type seqtp = pt.baseType(clazz); if (seqtp != Type.NoType) { tree.type = seqConstructorType(seqtp, pt); @@ -2031,8 +2034,10 @@ public class Analyzer extends Transformer implements Modifiers, Kinds { int i = 0; while (i < tparams.length && (context.delayArgs || - argtypes[i].isSubType( - tparams[i].info().subst(tparams, argtypes)))) + (argtypes[i].isSubType( + tparams[i].info().subst(tparams, argtypes)) && + tparams[i].loBound().subst(tparams, argtypes) + .isSubType(argtypes[i])))) i++; if (i == tparams.length) { return copy.TypeApply(tree, fn1, args1) |