From bb224fb4feb0f50dd99a80818ee76144e5b874ab Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 25 Sep 2016 17:34:36 +0200 Subject: Eliminate SelectFromTypeTree from docs --- src/dotty/tools/dotc/parsing/JavaParsers.scala | 7 ++----- src/dotty/tools/dotc/transform/TreeChecker.scala | 1 - 2 files changed, 2 insertions(+), 6 deletions(-) (limited to 'src/dotty/tools') diff --git a/src/dotty/tools/dotc/parsing/JavaParsers.scala b/src/dotty/tools/dotc/parsing/JavaParsers.scala index a5418340a..ed7cf9e3f 100644 --- a/src/dotty/tools/dotc/parsing/JavaParsers.scala +++ b/src/dotty/tools/dotc/parsing/JavaParsers.scala @@ -281,11 +281,8 @@ object JavaParsers { if (in.token == FINAL) in.nextToken() if (in.token == IDENTIFIER) { var t = typeArgs(atPos(in.offset)(Ident(ident()))) - // typeSelect generates Select nodes is the lhs is an Ident or Select, - // SelectFromTypeTree otherwise. See #3567. - // Select nodes can be later - // converted in the typechecker to SelectFromTypeTree if the class - // turns out to be an instance inner class instead of a static inner class. + // typeSelect generates Select nodes if the lhs is an Ident or Select, + // For other nodes it always assumes that the selected item is a type. def typeSelect(t: Tree, name: Name) = t match { case Ident(_) | Select(_, _) => Select(t, name) case _ => Select(t, name.toTypeName) diff --git a/src/dotty/tools/dotc/transform/TreeChecker.scala b/src/dotty/tools/dotc/transform/TreeChecker.scala index 47d2395a0..7cd1267b8 100644 --- a/src/dotty/tools/dotc/transform/TreeChecker.scala +++ b/src/dotty/tools/dotc/transform/TreeChecker.scala @@ -200,7 +200,6 @@ class TreeChecker extends Phase with SymTransformer { def checkIdentNotJavaClass(tree: Tree)(implicit ctx: Context): Unit = tree match { // case tree: untpd.Ident => // case tree: untpd.Select => - // case tree: untpd.SelectFromTypeTree => // case tree: untpd.Bind => case vd : ValDef => assertIdentNotJavaClass(vd.forceIfLazy) -- cgit v1.2.3