Front end of the toolbox.
Front end of the toolbox.
Accumulates and displays warnings and errors, can drop to interactive mode (if supported). The latter can be useful to study the typechecker or to debug complex macros.
Infers an implicit value of the expected type pt in the macro callsite context.
Infers an implicit value of the expected type pt in the macro callsite context.
If silent is false,
TypeError will be thrown in case of an inference error.
If
silent is true, the typecheck is silent and will return
EmptyTree if an error occurs.
Such errors don't vanish and can be inspected by turning on -Xlog-implicits.
Unlike in
typeCheck,
silent is true by default.
Infers an implicit view from the provided tree tree from the type
from to the type
to in the macro callsite context.
Infers an implicit view from the provided tree tree from the type
from to the type
to in the macro callsite context.
Otional parameter,
controls whether ambiguous implicit errors should be reported.
If we search for a view simply to find out whether one type is coercible to another, it might be desirable to set this flag to reportAmbiguous
false.
If silent is false,
TypeError will be thrown in case of an inference error.
If
silent is true, the typecheck is silent and will return
EmptyTree if an error occurs.
Such errors don't vanish and can be inspected by turning on -Xlog-implicits.
Unlike in
typeCheck,
silent is true by default.
Underlying mirror of a ToolBox
.
..
Recursively resets symbols and types in a given tree.
Recursively resets symbols and types in a given tree.
Note that this does not revert the tree to its pre-typer shape. For more info, read up https://issues.scala-lang.org/browse/SI-5464.
Recursively resets locally defined symbols and types in a given tree.
Recursively resets locally defined symbols and types in a given tree.
Note that this does not revert the tree to its pre-typer shape. For more info, read up https://issues.scala-lang.org/browse/SI-5464.
Compiles and runs a tree using this ToolBox.
Compiles and runs a tree using this ToolBox.
If the tree has unresolved type variables (represented as instances of FreeTypeSymbol symbols),
then they all have to be specified in the
freeTypes parameter or an error occurs.
This spawns the compiler at the Namer phase, and pipelines the tree through that compiler.
Currently runExpr does not accept trees that already typechecked, because typechecking isn't idempotent.
For more info, take a look at https://issues.scala-lang.org/browse/SI-5464.
Typechecks a tree using this ToolBox.
Typechecks a tree using this ToolBox. This populates symbols and types of the tree and possibly transforms it to reflect certain desugarings.
If the tree has unresolved type variables (represented as instances of FreeTypeSymbol symbols),
then they might, might be partially or might not be specified in the
freeTypes parameter.
If silent is false,
TypeError will be thrown in case of a typecheck error.
If
silent is true, the typecheck is silent and will return
EmptyTree if an error occurs.
Such errors don't vanish and can be inspected by turning on -Ydebug.
Typechecking can be steered with the following optional parameters:
withImplicitViewsDisabled recursively prohibits implicit views (though, implicit vals will still be looked up and filled in), default value is false
withMacrosDisabled recursively prohibits macro expansions and macro-based implicits, default value is false
Underlying universe of a ToolBox
(toolBox: StringAdd).self
(toolBox: StringFormat).self
(toolBox: ArrowAssoc[ToolBox[U]]).x
(Since version 2.10.0) Use leftOfArrow
instead
(toolBox: Ensuring[ToolBox[U]]).x
(Since version 2.10.0) Use resultOfEnsuring
instead