Documentation ¶
Index ¶
- Constants
- func ParseEntityRef(ref string) core.EntityRef
- func Pointer[T any](v T) *T
- func SaveFilesToDir(dst string, files map[string][]byte) error
- type Analyzer
- type Backend
- type Builder
- type Compiler
- type CompilerInput
- type Desugarer
- type Error
- type Frontend
- type FrontendResult
- type IRGenerator
- type Middleend
- type MiddleendResult
- type Parser
- type RawBuild
- type RawModule
- type RawPackage
Constants ¶
Variables ¶
This section is empty.
Functions ¶
func ParseEntityRef ¶ added in v0.5.0
ParseEntityRef assumes string-ref has form of <pkg_name>.<entity_name≥ or just <entity_name>.
Types ¶
type CompilerInput ¶ added in v0.26.0
type Error ¶
type Frontend ¶ added in v0.26.0
type Frontend struct {
// contains filtered or unexported fields
}
func NewFrontend ¶ added in v0.26.0
type FrontendResult ¶ added in v0.26.0
type FrontendResult struct { MainPkg string RawBuild RawBuild ParsedBuild sourcecode.Build }
type IRGenerator ¶
type Middleend ¶ added in v0.26.0
type Middleend struct {
// contains filtered or unexported fields
}
func (Middleend) Process ¶ added in v0.26.0
func (m Middleend) Process(feResult FrontendResult) (MiddleendResult, *Error)
type MiddleendResult ¶ added in v0.26.0
type MiddleendResult struct { AnalyzedBuild sourcecode.Build DesugaredBuild sourcecode.Build IR *ir.Program }
type RawModule ¶
type RawModule struct { Manifest src.ModuleManifest // Manifest must be parsed by builder before passing into compiler Packages map[string]RawPackage // Packages themselves on the other hand can be parsed by compiler }
type RawPackage ¶
Directories ¶
Path | Synopsis |
---|---|
Package analyzer implements source code static semantic analysis.
|
Package analyzer implements source code static semantic analysis. |
backend
|
|
Package parser implements source code parsing.
|
Package parser implements source code parsing. |
This package defines source code entities - abstractions that end-user (a programmer) operates on.
|
This package defines source code entities - abstractions that end-user (a programmer) operates on. |
typesystem
Package typesystem implements type-system with generics and structural subtyping.
|
Package typesystem implements type-system with generics and structural subtyping. |
Click to show internal directories.
Click to hide internal directories.