scala3-compiler-bootstrapped/dotty.tools.repl/ReplCompiler

ReplCompiler

class ReplCompiler extends Compiler

This subclass of Compiler is adapted for use in the REPL.

  • compiles parsed expression in the current REPL state:
    • adds the appropriate imports in scope
    • wraps expressions into a dummy object
  • provides utility to query the type of an expression
  • provides utility to query the documentation of an expression
class Compiler
class Object
trait Matchable
class Any

Value members

Concrete methods

final def compile(parsed: Parsed)(implicit state: State): Result[(CompilationUnit, State)]
def docOf(expr: String)(implicit state: State): Result[String]
override protected def frontendPhases: List[List[Phase]]
Definition Classes
def newRun(initCtx: Context, state: State): Run
final def typeCheck(expr: String, errorsAllowed: Boolean)(implicit state: State): Result[ValDef]
final def typeOf(expr: String)(implicit state: State): Result[String]

Inherited methods

def newRun(using Context): Run
Inherited from
Compiler
def nextRunId: Int
Inherited from
Compiler
def phases: List[List[Phase]]

Meta-ordering constraint:

Meta-ordering constraint:

DenotTransformers that change the signature of their denotation's info must go after erasure. The reason is that denotations are permanently referred to by TermRefs which contain a signature. If the signature of a symbol would change, all refs to it would become outdated - they could not be dereferenced in the new phase.

After erasure, signature changing denot-transformers are OK because erasure will make sure that only term refs with fixed SymDenotations survive beyond it. This is possible because:

  • splitter has run, so every ident or select refers to a unique symbol
  • after erasure, asSeenFrom is the identity, so every reference has a plain SymDenotation, as opposed to a UniqueRefDenotation.
Inherited from
Compiler
def reset(using Context): Unit
Inherited from
Compiler

Inherited fields

var runId: Int
Inherited from
Compiler