CompileMacro
object CompileMacro
Type members
Classlikes
Value members
Concrete methods
def assertCompileImpl[T](self: Expr[T], typeChecked: Expr[List[Error]], compileWord: Expr[CompileWord], pos: Expr[Position])(shouldOrMust: String)(using Quotes): Expr[Assertion]
def assertNotCompileImpl[T](self: Expr[T], typeChecked: Expr[Boolean], compileWord: Expr[CompileWord], pos: Expr[Position])(shouldOrMust: String)(using Quotes): Expr[Assertion]
def assertNotTypeCheckImpl(self: Expr[_], typeChecked: Expr[List[Error]], typeCheckWord: Expr[TypeCheckWord], pos: Expr[Position])(shouldOrMust: String)(using Quotes): Expr[Assertion]