front

Documentation

Index

• Variables
• func BindIdent(bindings BindingsT, ident *ast.Ident, typeInfo *types.Info) *VariableT
• func MakeTopLevelForm(decl *ast.FuncDecl, parsedFiles *ParsedFilesT, globals BindingsT) *CallNodeT
• func SimplifyTopLevel(lambda *CallNodeT)
• type BindingsT
• type CompilatorT
• type LhsT
• type ParsedFilesT
  • func NewParsedFiles(directory string, packagePath string) *ParsedFilesT
  • func (files *ParsedFilesT) ParseFile(fileName string, fileContents []byte)
  • func (files *ParsedFilesT) TypeCheck()
• type PointerLhsT

Variables

var Compilators = map[string]CompilatorT{}

Functions

func BindIdent

func BindIdent(bindings BindingsT, ident *ast.Ident, typeInfo *types.Info) *VariableT

func MakeTopLevelForm

func MakeTopLevelForm(decl *ast.FuncDecl, parsedFiles *ParsedFilesT, globals BindingsT) *CallNodeT

func SimplifyTopLevel

func SimplifyTopLevel(lambda *CallNodeT)

Types

type BindingsT

type BindingsT map[types.Object]*VariableT

type CompilatorT

type CompilatorT interface {
	ToCps(args []NodeT, resultVars []*VariableT, source token.Pos, calls *CallsT)
}

type LhsT

type LhsT interface {
	// contains filtered or unexported methods
}

type ParsedFilesT

type ParsedFilesT struct {
	Directory   string
	PackagePath string
	AstFiles    []*ast.File
	Packages    []*packages.Package
	TypesInfo   *types.Info
	FileSet     *token.FileSet
}

func NewParsedFiles

func NewParsedFiles(directory string, packagePath string) *ParsedFilesT

func (*ParsedFilesT) ParseFile

func (files *ParsedFilesT) ParseFile(fileName string, fileContents []byte)

func (*ParsedFilesT) TypeCheck

func (files *ParsedFilesT) TypeCheck()

type PointerLhsT

type PointerLhsT struct {
	// contains filtered or unexported fields
}

An LHS where the location is a single variable, which so far is all of them.