Typecheck

org.specs2.execute.Typecheck$
object Typecheck

This macro checks if some code can be parsed and typechecks ok

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Typecheck.type

Members list

Value members

Concrete methods

transparent inline def apply(code: String): TypecheckResult

Typecheck code and fail at runtime if the code doesn't typecheck If the code doesn't parse there will be a compile-time error

Typecheck code and fail at runtime if the code doesn't typecheck If the code doesn't parse there will be a compile-time error

Attributes

transparent inline def typecheck(code: String): TypecheckResult

alias for apply

alias for apply

Attributes

def typecheckCode(typeCheckErrors: Expr[List[Error]])(using qctx: Quotes): Expr[TypecheckResult]