Add CLI option to disable REPL syntax highlighting

1 files changed, 7 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/repl/REPL.scala b/src/dotty/tools/dotc/repl/REPL.scala
index 1f5e3347b..977f67719 100644
--- a/src/dotty/tools/dotc/repl/REPL.scala
+++ b/src/dotty/tools/dotc/repl/REPL.scala
@@ -25,6 +25,11 @@ class REPL extends Driver {
 
   lazy val config = new REPL.Config
 
+  override def setup(args: Array[String], rootCtx: Context): (List[String], Context) = {
+    val (strs, ctx) = super.setup(args, rootCtx)
+    (strs, config.context(ctx))
+  }
+
   override def newCompiler(implicit ctx: Context): Compiler =
     new repl.CompilingInterpreter(config.output, ctx)
 
@@ -45,6 +50,8 @@ object REPL {
     val continuationPrompt = "     | "
     val version            = ".next (pre-alpha)"
 
+    def context(ctx: Context): Context = ctx
+
     /** The default input reader */
     def input(in: Interpreter)(implicit ctx: Context): InteractiveReader = {
       val emacsShell = System.getProperty("env.emacs", "") != ""