Package avail.interpreter.execution

Types

class AvailLoader( val runtime: AvailRuntime, val module: A_Module, val textInterface: TextInterface)

An AvailLoader is responsible for orchestrating module-level side-effects, such as those caused by adding method, abstract, and forward definitions. Also macros, A_Lexers, A_SemanticRestrictions, A_GrammaticalRestrictions, and method seals.

This class is used to execute Level Two code, which is a translation of the Level One nybblecodes found in raw functions.