src/Pure/System/scala.scala
changeset 82142 508a673c87ac
parent 78767 aa67309a7960
--- a/src/Pure/System/scala.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/System/scala.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,19 +10,10 @@
 import java.io.{File => JFile, PrintStream, ByteArrayOutputStream, OutputStream}
 
 import scala.collection.mutable
-import scala.annotation.tailrec
 
 import dotty.tools.dotc.CompilationUnit
-import dotty.tools.dotc.ast.Trees.PackageDef
-import dotty.tools.dotc.ast.untpd
-import dotty.tools.dotc.core.Contexts.{Context => CompilerContext}
-import dotty.tools.dotc.core.NameOps.moduleClassName
-import dotty.tools.dotc.core.{Phases, StdNames}
-import dotty.tools.dotc.interfaces
-import dotty.tools.dotc.reporting.{Diagnostic, ConsoleReporter}
-import dotty.tools.dotc.util.{SourceFile, SourcePosition, NoSourcePosition}
 import dotty.tools.repl
-import dotty.tools.repl.{ReplCompiler, ReplDriver}
+import dotty.tools.repl.ReplDriver
 
 
 object Scala {