From c2072ad703fc237d494ceae50d4189e85e91a2ae Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 3 Apr 2015 14:04:49 +0200 Subject: Cleanup of import list in JavaPlatform The previous one caused a spurious error - I had compiled the config classes into the config directory, resulting in a dotty directory in config. My mistake, not the previous import list's. Still the new imports are much cleaner. --- src/dotty/tools/dotc/config/JavaPlatform.scala | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/dotty/tools/dotc/config/JavaPlatform.scala b/src/dotty/tools/dotc/config/JavaPlatform.scala index 043f41a44..41a9c7113 100644 --- a/src/dotty/tools/dotc/config/JavaPlatform.scala +++ b/src/dotty/tools/dotc/config/JavaPlatform.scala @@ -4,9 +4,8 @@ package config import io.{AbstractFile,ClassPath,JavaClassPath,MergedClassPath,DeltaClassPath} import ClassPath.{ JavaContext, DefaultJavaContext } -import core.Contexts._ -import core.SymDenotations._, core.Symbols._, dotty.tools.dotc.core._ -import Types._, Contexts._, Symbols._, Denotations._, SymDenotations._, StdNames._, Names._ +import core._ +import Symbols._, Types._, Contexts._, Denotations._, SymDenotations._, StdNames._, Names._ import Flags._, Scopes._, Decorators._, NameOps._, util.Positions._ class JavaPlatform extends Platform { -- cgit v1.2.3