diff options
author | Martin Odersky <odersky@gmail.com> | 2013-07-22 15:58:46 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-07-22 15:58:46 +0200 |
commit | b3d0902d2219f9680180b17ff7f0b22aa11aae90 (patch) | |
tree | 7885e42fe18e6744e34531a2f63dd7eaf61b0f3d /src/dotty/tools/dotc/ast/CheckTrees.scala | |
parent | 4b265ca213d066897db3a2333a3ac1420e8a480f (diff) | |
download | dotty-b3d0902d2219f9680180b17ff7f0b22aa11aae90.tar.gz dotty-b3d0902d2219f9680180b17ff7f0b22aa11aae90.tar.bz2 dotty-b3d0902d2219f9680180b17ff7f0b22aa11aae90.zip |
SeqLiteral refactoring
SeqLiterals no longer have an elemtpt subtree. Their type is now no longer a RepeatedParamType, but instead an instance of SeqType or ArrayType.
Diffstat (limited to 'src/dotty/tools/dotc/ast/CheckTrees.scala')
-rw-r--r-- | src/dotty/tools/dotc/ast/CheckTrees.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/ast/CheckTrees.scala b/src/dotty/tools/dotc/ast/CheckTrees.scala index 670dd3730..8dbd5a015 100644 --- a/src/dotty/tools/dotc/ast/CheckTrees.scala +++ b/src/dotty/tools/dotc/ast/CheckTrees.scala @@ -121,11 +121,11 @@ object CheckTrees { case Throw(expr) => check(expr.isValue) check(expr.tpe.derivesFrom(defn.ThrowableClass)) - case SeqLiteral(elemtpt, elems) => - check(elemtpt.isValueType); + case SeqLiteral(elems) => + val elemtp = tree.tpe.elemType for (elem <- elems) { check(elem.isValue) - check(elem.tpe <:< elemtpt.tpe) + check(elem.tpe <:< elemtp) } case TypeTree(original) => if (!original.isEmpty) { |