diff options
author | Martin Odersky <odersky@gmail.com> | 2007-11-17 21:52:15 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-11-17 21:52:15 +0000 |
commit | 78940081aba843f7ed5299564046130d2806efc1 (patch) | |
tree | 7bef01760d39cb285905f97f9403b36c2cdd0e49 | |
parent | ac55b8a3c32eb837080e7f39fa3eeeb68a5e2014 (diff) | |
download | scala-78940081aba843f7ed5299564046130d2806efc1.tar.gz scala-78940081aba843f7ed5299564046130d2806efc1.tar.bz2 scala-78940081aba843f7ed5299564046130d2806efc1.zip |
fixed problem with last fix
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 96f7c4be4d..3f3669569d 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2163,7 +2163,7 @@ trait Typers { self: Analyzer => .setOriginal(tpt1) /* .setPos(tpt1.pos) */ .setType(appliedType(tpt1.tpe, context.undetparams map (_.tpe))) } - if (!tpt1.tpe.typeSymbol.isClass || (tpt1.tpe.typeSymbol hasFlag ABSTRACT)) + if (tpt1.tpe.typeSymbol.isAbstractType || (tpt1.tpe.typeSymbol hasFlag ABSTRACT)) error(tree.pos, tpt1.tpe.typeSymbol + " is abstract; cannot be instantiated") else if (tpt1.tpe.typeSymbol.thisSym != tpt1.tpe.typeSymbol && !(tpt1.tpe <:< tpt1.tpe.typeOfThis) && |