• Home
• ch.epfl.lamp
• dotty-library_0.28
• 0.28.0-bin-20201014-ca67e4d-NIGHTLY
• source code
• package.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.

scala.compiletime.testing.package.scala Maven / Gradle / Ivy

package scala.compiletime

package object testing {

  /** Whether the code type checks in the current context?
   *
   *  @param code The code to be type checked
   *
   *  @return false if the code has syntax error or type error in the current context, otherwise returns true.
   *
   *  The code should be a sequence of expressions or statements that may appear in a block.
   */
  inline def typeChecks(inline code: String): Boolean =
    error("`typeChecks` was not checked by the compiler")

  /** Whether the code type checks in the current context? If not,
   *  returns a list of errors encountered on compilation.
   *  IMPORTANT: No stability guarantees are provided on the format of these
   *  errors. This means the format and the API may change from
   *  version to version. This API is to be used for testing purposes
   *  only.
   *
   *  @param code The code to be type checked
   *
   *  @return a list of errors encountered during parsing and typechecking.
   *
   *  The code should be a sequence of expressions or statements that may appear in a block.
   */
  inline def typeCheckErrors(inline code: String): List[Error] =
    error("`typeCheckErrors` was not checked by the compiler")
}