Typecheck

object Typecheck

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

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

class Object
trait Matchable
class Any

Value members

Concrete methods

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

inline def typecheck(code: String): TypecheckResult

alias for apply

alias for apply

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