Compiles a tree using this ToolBox.
Compiles a tree using this ToolBox.
If the tree has unresolved type variables (represented as instances of FreeTypeSymbol
symbols),
then they all have to be resolved first using Tree.substituteTypes
, or an error occurs.
This spawns the compiler at the Namer phase, and pipelines the tree through that compiler.
Currently compile
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.
Compiles and runs a tree using this ToolBox.
Compiles and runs a tree using this ToolBox.
Is equivalent to compile(tree)()
.
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.
scala.tools.reflect provides two predefined front ends that can be created using scala.tools.reflect.mkSilentFrontEnd and scala.tools.reflect.mkConsoleFrontEnd.
Infers an implicit value of the expected type pt
in top-level context.
Infers an implicit value of the expected type pt
in top-level context.
Optional pos
parameter provides a position that will be associated with the implicit search.
As mentioned in https://groups.google.com/forum/#!topic/scala-internals/ta-vbUT6JE8 this API won't take into account the lexical context of the callsite, because currently it's impossible to reify it.
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 toplevel context.
Infers an implicit view from the provided tree tree
from the type from
to the type to
in the toplevel context.
Optional pos
parameter provides a position that will be associated with the implicit search.
As mentioned in https://groups.google.com/forum/#!topic/scala-internals/ta-vbUT6JE8 this API won't take into account the lexical context of the callsite, because currently it's impossible to reify it.
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.
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 all have to be resolved first using Tree.substituteTypes
, or an error occurs.
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