View on GitHub
ScopedProgram
public struct ScopedProgram : ProgramA data structure representing a scoped Hylo program ready to be type checked.
-
Declaration
Swift
public let ast: AST -
Declaration
Swift
public let nodeToScope: ASTProperty<AnyScopeID> -
Declaration
Swift
public let scopeToDecls: ASTProperty<DeclIDs> -
Declaration
Swift
public let varToBinding: [VarDecl.ID : BindingDecl.ID] -
Creates an instance with the given properties.
Declaration
Swift
private init( ast: AST, nodeToScope: ASTProperty<AnyScopeID>, scopeToDecls: ASTProperty<DeclIDs>, varToBinding: [VarDecl.ID: BindingDecl.ID] ) -
Creates a scoped program from an AST.
Declaration
Swift
public init(_ ast: AST) -
A module within a ScopedProgram.
Declaration
Swift
public typealias Module = Module_<`Self`> -
Returns a copy of
selfin which a new module has been loaded, callingmaketo form its contents and reporting diagnostics tolog.Declaration
Swift
public func loadModule( reportingDiagnosticsTo log: inout DiagnosticSet, creatingContentsWith make: AST.ModuleLoader ) throws -> Module