front

Documentation

Index

• 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 LhsT
• type ParsedFilesT
  • func NewParsedFiles(directory string, packagePath string) *ParsedFilesT
  • func (files *ParsedFilesT) ParseFile(fileName string, fileContents []byte)
  • func (files *ParsedFilesT) TypeCheck()
• type PointerLhsT

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 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.