goose

Sep 23, 2021

Changes in this version

+ type ExprValUsage int

+ const ExprValLocal

+ const ExprValLoop

+ const ExprValReturned

May 23, 2021

Changes in this version

type Ctx

+ Fset *token.FileSet

+ func NewPkgCtx(pkg *packages.Package, tr Translator) Ctx

+ type Translator struct

+ AddSourceFileComments bool

+ TypeCheck bool

+ func (tr Translator) TranslatePackages(modDir string, pkgPattern ...string) (files []coq.File, errs []error, patternErr error)

May 17, 2021

Changes in this version

+ const FfiImportFmt

+ type Config struct

+ AddSourceFileComments bool

+ Excludes StringSet

+ Ffi string

+ TypeCheck bool

+ func MakeDefaultConfig() Config

+ func (config Config) TranslatePackage(pkgPath string, srcDir string) (coq.File, error)

+ type ConversionError struct

+ Category string

+ End token.Pos

+ GoCode string

+ GoSrcFile string

+ GooseCaller string

+ Message string

+ Pos token.Pos

+ func (e *ConversionError) Error() string

+ type Ctx struct

+ func NewCtx(pkgPath string, fset *token.FileSet, config Config) Ctx

+ func (ctx Ctx) Decls(fs ...NamedFile) (decls []coq.Decl, errs []error)

+ func (ctx Ctx) TypeCheck(pkgName string, files []*ast.File) error

+ type MultipleErrors []error

+ func (es MultipleErrors) Error() string

+ type NamedFile struct

+ Ast *ast.File

+ Path string

+ func (f NamedFile) Name() string

+ type StringSet map[string]bool

+ func (s *StringSet) Set(value string) error

+ func (s *StringSet) String() string