codegen

type FuncDefaults ¶

type FuncDefaults struct {
	ParamNames    []string         // Parameter names in order
	DefaultValues []ast.Expression // Default values (nil if no default)
	HasVariadic   bool             // Whether the last parameter is variadic
}

Generator generates Go code from an AST.

ARCHITECTURE NOTE: Kukicha uses placeholders like "any" and "key" in stdlib function signatures to represent generic type parameters. When generating Go code, we detect these placeholders and emit proper Go generics (e.g., [T any, K comparable]). This allows Kukicha users to write simple code while getting type-safe Go generics.

The isStdlibIter and placeholderMap fields work together:

• isStdlibIter is true when generating stdlib/iterator or stdlib/slice code
• placeholderMap maps Kukicha placeholders ("any", "key") to Go type params ("T", "K")
• During type annotation generation, we substitute placeholders with type params

This design keeps Kukicha's "beginner-friendly" goal: users don't write generic syntax, but the generated Go code is fully type-safe with proper generic constraints. FuncDefaults stores information about a function's default parameter values

type Generator ¶

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

Generator generates Go code from an AST.

State is split in two: an immutable-during-render *sharedState (the program, configuration, and all semantic-analysis maps), shared by pointer with every childGenerator; and the per-render mutable fields below (output buffer, indent level, render-time ctx), which each child owns its own copy of. Temp-name minting lives in a shared *nameGen so parent and children never collide. See codegen_shared.go for the rationale (issue #264 / the #208 field-copy bug).

func New(program *ast.Program) *Generator

func (g *Generator) Diagnostics() []diagnostics.Diagnostic

func (g *Generator) Generate() (string, error)

func (g *Generator) SetAnalysisResult(r *semantic.AnalysisResult)

func (g *Generator) SetMCPTarget(v bool)

func (g *Generator) SetProjectDir(dir string)

func (g *Generator) SetSiblingDeclarations(decls []ast.Declaration)

func (g *Generator) SetSourceFile(path string)

func (g *Generator) SetStandaloneFile(v bool)

func (g *Generator) SetStdlibModule(base string)

func (g *Generator) SetStripLineDirectives(v bool)

func (g *Generator) VarMap() map[string]string

func (g *Generator) Warnings() []error

type Lowerer ¶

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

Lowerer transforms high-level AST constructs (pipes, onerr) into IR nodes. It delegates sub-expression rendering to Generator.exprToString and uses Generator.inferReturnCount / isErrorOnlyReturn for semantic queries.

type TypeParameter ¶

type TypeParameter struct {
	Name        string // Generated name: T, U, V, etc.
	Placeholder string // Original placeholder: "any", "key", etc.
	Constraint  string // "any", "comparable", "cmp.Ordered"
}

TypeParameter represents a type parameter for stdlib special transpilation This is internal to codegen and separate from the removed ast.TypeParameter