diff options
author | Martin Odersky <odersky@gmail.com> | 2016-09-25 17:04:22 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-09-25 17:04:22 +0200 |
commit | 80cbe114cc5d641d66512c58402eca4ae69f9f2a (patch) | |
tree | c2d137266a0ae6c59e44e15f959f0ca070ec0b7c /src/dotty/tools/dotc/typer/Checking.scala | |
parent | 2d908c792fcf4287b4cb493f0e51dfbdb106cf69 (diff) | |
download | dotty-80cbe114cc5d641d66512c58402eca4ae69f9f2a.tar.gz dotty-80cbe114cc5d641d66512c58402eca4ae69f9f2a.tar.bz2 dotty-80cbe114cc5d641d66512c58402eca4ae69f9f2a.zip |
Get rid of SelectFromType tree node.
Roll its functionality into Select. Since we can always
tell whether a tree is a type or term there is no expressiveness
gained by having a separate tree node.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Checking.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Checking.scala | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Checking.scala b/src/dotty/tools/dotc/typer/Checking.scala index 2db6d497e..415cd5d6a 100644 --- a/src/dotty/tools/dotc/typer/Checking.scala +++ b/src/dotty/tools/dotc/typer/Checking.scala @@ -99,8 +99,6 @@ object Checking { checkValidIfHKApply(ctx.addMode(Mode.AllowLambdaWildcardApply)) case Select(qual, name) if name.isTypeName => checkRealizable(qual.tpe, qual.pos) - case SelectFromTypeTree(qual, name) if name.isTypeName => - checkRealizable(qual.tpe, qual.pos) case SingletonTypeTree(ref) => checkRealizable(ref.tpe, ref.pos) case _ => |