• Home
• com.michaelpollmeier
• scala-repl-pp_3
• 0.3.12
• source code
• DottyRandomStuff.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

replpp.DottyRandomStuff.scala Maven / Gradle / Ivy

package replpp

import dotty.tools.dotc.reporting.{HideNonSensicalMessages, StoreReporter, UniqueMessagePositions}
import dotty.tools.repl.*

/** random code that I needed to copy over from dotty to make things work, usually because it was `private[repl]`
 */
private[replpp] object DottyRandomStuff {

  /** Create empty outer store reporter
   * copied from https://github.com/lampepfl/dotty/blob/3.3.0-RC5/compiler/src/dotty/tools/repl/package.scala#L6  */
  def newStoreReporter: StoreReporter = {
    new StoreReporter(null) with UniqueMessagePositions with HideNonSensicalMessages
  }

  /** copied from https://github.com/lampepfl/dotty/blob/3.3.0-RC5/compiler/src/dotty/tools/repl/ParseResult.scala#L130 */
  object ParseResult {
    val commands: List[(String, String => ParseResult)] = List(
      Quit.command -> (_ => Quit),
      Quit.alias -> (_ => Quit),
      Help.command -> (_ => Help),
      Reset.command -> (arg => Reset(arg)),
      Imports.command -> (_ => Imports),
      Load.command -> (arg => Load(arg)),
      TypeOf.command -> (arg => TypeOf(arg)),
      DocOf.command -> (arg => DocOf(arg)),
      Settings.command -> (arg => Settings(arg)),
    )
  }
}