scala.compiletime.testing
Type members
Classlikes
Represents a compile-time error.
Represents a compile-time error.
- 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.
- Source:
- Error.scala
An error can be either a parse-time or a typecheck-time
An error can be either a parse-time or a typecheck-time
- Companion:
- object
- Source:
- ErrorKind.scala
Value members
Concrete methods
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.
- Value parameters:
- 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.
- Source:
- package.scala
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.
- Value parameters:
- 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.
- Source:
- package.scala