• Home
• com.github.cb372
• scala-typed-holes_3.6.2
• 0.2.0
• source code
• TypedHolesPlugin.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.

holes.TypedHolesPlugin.scala Maven / Gradle / Ivy

package holes
import dotty.tools.dotc.plugins.PluginPhase
import dotty.tools.dotc.plugins.StandardPlugin

class TypedHolesPlugin extends StandardPlugin:
  val name: String = "typed-holes"
  override def description: String =
    "Treat use of ??? as a hole and give a useful warning about it"

  override def init(options: List[String]): List[PluginPhase] =
    val logLevel =
      options
        .flatMap: option =>
          if option.startsWith("log-level:") then
            option.substring("log-level:".length).toLowerCase match
              case "info"  => Some(LogLevel.Info)
              case "warn"  => Some(LogLevel.Warn)
              case "error" => Some(LogLevel.Error)
              case _       => None
          else None
        .headOption
        .getOrElse(LogLevel.Warn)

    List(
      new NamedHolesPhase,
      TypedHolesPhase(logLevel)
    )