scala.compiletime.testing

Members list

Concise view

Type members

Classlikes

Represents a compile-time error.

Represents a compile-time error.

Attributes

See also:

scala.compiletime.testing.typeCheckErrors 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.

Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
sealed trait ErrorKind

An error can be either a parse-time or a typecheck-time

An error can be either a parse-time or a typecheck-time

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Parser.type
object Typer.type
object ErrorKind

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

transparent inline def typeCheckErrors(inline code: String): List[Error]

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.

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.

An inline definition with a call to typeCheckErrors should be transparent.

Attributes

code

The code to be type checked

Returns:

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.

transparent inline def typeChecks(inline code: String): Boolean

Whether the code type checks in the current context?

Whether the code type checks in the current context?

An inline definition with a call to typeChecks should be transparent.

Attributes

code

The code to be type checked

Returns:

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.