Documentation
¶
Overview ¶
Package machine implements the Scheme virtual machine, compiler, and macro expander.
The machine package is the core execution engine for Wile, providing:
Compilation Pipeline ¶
Scheme source undergoes three phases:
- Expansion: macro-expand via ExpanderTimeContinuation
- Compilation: generate bytecode via CompileTimeContinuation
- Execution: run bytecode via MachineContext
Virtual Machine ¶
The VM is a stack-based bytecode virtual machine with:
- MachineContext: execution state (value register, eval stack, environment, PC)
- MachineContext.Run: main execution loop
- NativeTemplate: compiled bytecode container
- MachineClosure: first-class procedure representation
Continuations ¶
- MachineContinuation: captured continuation state for call/cc
- ComposableContinuation: delimited continuations for prompts
- dynamic-wind support via wind/unwind stacks
Macro System ¶
Implements R7RS hygienic macros with Flatt's "sets of scopes" model:
- ExpanderTimeContinuation: macro expansion driver
- syntax-rules pattern matching via internal/match
- syntax-case with fenders and procedural macros
Foreign Functions ¶
Go functions are exposed as ForeignFunction implementations:
type ForeignFunction func(*MachineContext) error
The ForeignClosure type wraps these for the VM.
Index ¶
- Constants
- Variables
- func AllFeatures() []string
- func CopyLibraryBindingsToEnv(lib *CompiledLibrary, bindings map[string]string, ...) error
- func CopyLibraryBindingsToEnvAtPhase(lib *CompiledLibrary, bindings map[string]string, ...) error
- func DecodeLocalIndex(arg int32) (slot, depth int)
- func EncodeLocalIndex(li *environment.LocalIndex) int32
- func FindCommonWindingPrefix(current, target WindingStack) int
- func GraftContinuation(segment, target *MachineContinuation)
- func IsFeatureSupported(feature string) bool
- func LookupPhaseBinding[T any](phaseEnv *environment.EnvironmentFrame, sym *values.Symbol, ...) T
- func RegisterPhaseBindings[F any](env *environment.EnvironmentFrame, ...) error
- func RegisterPrimitiveExpanders(env *environment.EnvironmentFrame) error
- func RegisterSyntaxCompilers(env *environment.EnvironmentFrame) error
- func ReleaseSubContext(mc *MachineContext)
- func ReleaseTopLevelContext(mc *MachineContext)
- func ResolveAndInstallImportSet(ctx context.Context, datum values.Value, env *environment.EnvironmentFrame, ...) error
- type BarrierToken
- type Breakpoint
- type BreakpointID
- type CapturedContinuation
- type CaseLambdaClosure
- func (p *CaseLambdaClosure) AcceptsArity(n int) bool
- func (p *CaseLambdaClosure) Clauses() []*MachineClosure
- func (p *CaseLambdaClosure) EqualTo(o values.Value) bool
- func (p *CaseLambdaClosure) FindMatchingClause(argCount int) (*MachineClosure, bool)
- func (p *CaseLambdaClosure) IsVoid() bool
- func (p *CaseLambdaClosure) SchemeString() string
- type ChainFileResolver
- type Closure
- type CompileTimeCallContext
- type CompileTimeContinuation
- func (p *CompileTimeContinuation) AppendOperations(ops ...Operation)
- func (p *CompileTimeContinuation) CompileBeginForSyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileCondExpand(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileDefineForSyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileDefineLibrary(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileDefineSyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileEvalWhen(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileExport(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileExpression(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileImport(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileInclude(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileIncludeCi(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileMeta(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileQuasisyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileSelfEvaluating(_ CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileSymbol(ctctx CompileTimeCallContext, expr *syntax.SyntaxSymbol) error
- func (p *CompileTimeContinuation) CompileSyntax(_ CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileSyntaxCase(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileUnquote(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileUnquoteSplicing(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileUnsyntax(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileUnsyntaxSplicing(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) CompileValidatedApply(ctctx CompileTimeCallContext, v *validate.ValidatedApply) error
- func (p *CompileTimeContinuation) CompileValidatedBegin(ctctx CompileTimeCallContext, v *validate.ValidatedBegin) error
- func (p *CompileTimeContinuation) CompileValidatedCaseLambda(ctctx CompileTimeCallContext, v *validate.ValidatedCaseLambda) error
- func (p *CompileTimeContinuation) CompileValidatedDefine(ctctx CompileTimeCallContext, v *validate.ValidatedDefine) error
- func (p *CompileTimeContinuation) CompileValidatedDefineFn(ctctx CompileTimeCallContext, v *validate.ValidatedDefine) error
- func (p *CompileTimeContinuation) CompileValidatedDynamicWind(ctctx CompileTimeCallContext, v *validate.ValidatedDynamicWind) error
- func (p *CompileTimeContinuation) CompileValidatedIf(ctctx CompileTimeCallContext, v *validate.ValidatedIf) error
- func (p *CompileTimeContinuation) CompileValidatedLambda(ctctx CompileTimeCallContext, v *validate.ValidatedLambda) error
- func (p *CompileTimeContinuation) CompileValidatedLet(ctctx CompileTimeCallContext, v *validate.ValidatedLet) error
- func (p *CompileTimeContinuation) CompileValidatedQuasiquote(ctctx CompileTimeCallContext, v *validate.ValidatedQuasiquote) error
- func (p *CompileTimeContinuation) CompileValidatedQuote(_ CompileTimeCallContext, v *validate.ValidatedQuote) error
- func (p *CompileTimeContinuation) CompileValidatedSetBang(ctctx CompileTimeCallContext, v *validate.ValidatedSetBang) error
- func (p *CompileTimeContinuation) CompileValidatedWithContinuationMark(ctctx CompileTimeCallContext, v *validate.ValidatedWithContinuationMark) error
- func (p *CompileTimeContinuation) CompileWithSyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
- func (p *CompileTimeContinuation) SetFileResolver(r FileResolver)
- func (p *CompileTimeContinuation) SetLibraryCallback(cb func(*CompiledLibrary))
- type CompiledLibrary
- type ComposableContinuation
- func (p *ComposableContinuation) AcceptsArity(n int) bool
- func (p *ComposableContinuation) AcquireSegment() *MachineContinuation
- func (p *ComposableContinuation) BarrierValid() *BarrierToken
- func (p *ComposableContinuation) Cont() *MachineContinuation
- func (p *ComposableContinuation) EqualTo(o values.Value) bool
- func (p *ComposableContinuation) IsVoid() bool
- func (p *ComposableContinuation) SchemeString() string
- func (p *ComposableContinuation) ThreadID() uint64
- func (p *ComposableContinuation) WindingStack() WindingStack
- type ContinuationMarkSet
- func (p *ContinuationMarkSet) EqualTo(o values.Value) bool
- func (p *ContinuationMarkSet) First(key, defaultVal values.Value) values.Value
- func (p *ContinuationMarkSet) IsVoid() bool
- func (p *ContinuationMarkSet) SchemeString() string
- func (p *ContinuationMarkSet) ToList(key values.Value) values.Tuple
- func (p *ContinuationMarkSet) ToListStar(keys []values.Value, noneVal values.Value) values.Tuple
- type Debugger
- func (p *Debugger) Breakpoints() []*Breakpoint
- func (p *Debugger) CheckBreakpoint(mc *MachineContext) *Breakpoint
- func (p *Debugger) Continue()
- func (p *Debugger) DisableBreakpoint(id BreakpointID) bool
- func (p *Debugger) EnableBreakpoint(id BreakpointID) bool
- func (p *Debugger) IsStepping() bool
- func (p *Debugger) OnBreak(fn func(mc *MachineContext, bp *Breakpoint))
- func (p *Debugger) RemoveBreakpoint(id BreakpointID) bool
- func (p *Debugger) SetBreakpoint(file string, line, column int) BreakpointID
- func (p *Debugger) ShouldStep(mc *MachineContext) bool
- func (p *Debugger) StepInto()
- func (p *Debugger) StepOut(mc *MachineContext)
- func (p *Debugger) StepOver(mc *MachineContext)
- func (p *Debugger) TriggerBreak(mc *MachineContext, bp *Breakpoint)
- type DynamicWindFrame
- type ERMacroTransformer
- type EditPlan
- func (p *EditPlan) AddLiteral(v values.Value) int32
- func (p *EditPlan) Apply() int
- func (p *EditPlan) Delete(start, end int)
- func (p *EditPlan) HasEdits() bool
- func (p *EditPlan) Insert(at int, instrs []Instruction, src uint16)
- func (p *EditPlan) Replace(start, end int, instrs []Instruction, src uint16)
- type EmbedFileResolver
- type ErrExceptionEscape
- type ErrPromptAbort
- type ExceptionHandler
- type ExpanderContext
- func (p *ExpanderContext) Env() *environment.EnvironmentFrame
- func (p *ExpanderContext) Expand(stx syntax.SyntaxValue) (syntax.SyntaxValue, error)
- func (p *ExpanderContext) ExpandOnce(stx syntax.SyntaxValue) (syntax.SyntaxValue, bool, error)
- func (p *ExpanderContext) IntroductionScope() *syntax.Scope
- func (p *ExpanderContext) SetIntroductionScope(scope *syntax.Scope)
- func (p *ExpanderContext) SetUseSiteScope(scope *syntax.Scope)
- func (p *ExpanderContext) UseSiteScope() *syntax.Scope
- type ExpanderTimeContinuation
- func (p *ExpanderTimeContinuation) Context() context.Context
- func (p *ExpanderTimeContinuation) ExpandBodyWithDefineSyntax(forms []syntax.SyntaxValue) ([]syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandExpression(expr syntax.SyntaxValue) (syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandOnce(expr syntax.SyntaxValue) (syntax.SyntaxValue, bool, error)
- func (p *ExpanderTimeContinuation) ExpandPrimitiveForm(primName string, sym *syntax.SyntaxSymbol, expr syntax.SyntaxValue) (syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandQuasiquote(_ syntax.SyntaxValue) (syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandQuote(_ syntax.SyntaxValue) (syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandSelfEvaluating(expr syntax.SyntaxValue) (syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandSymbol(expr *syntax.SyntaxSymbol) (syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandSyntaxArgumentList(args syntax.SyntaxValue) (syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandSyntaxExpression(sym *syntax.SyntaxSymbol, expr syntax.SyntaxValue) (syntax.SyntaxValue, error)
- func (p *ExpanderTimeContinuation) ExpandSyntaxOrProcedureCall(car syntax.SyntaxValue, cdr syntax.SyntaxValue) (syntax.SyntaxValue, error)
- type FSFileResolver
- type FeatureRequirement
- func NewAndRequirement(reqs ...FeatureRequirement) FeatureRequirement
- func NewElseRequirement() FeatureRequirement
- func NewFeatureIdentifier(name string) FeatureRequirement
- func NewLibraryRequirement(name LibraryName) FeatureRequirement
- func NewNotRequirement(req FeatureRequirement) FeatureRequirement
- func NewOrRequirement(reqs ...FeatureRequirement) FeatureRequirement
- type FileResolver
- type ForeignClosure
- func NewERCompareClosure(useEnv *environment.EnvironmentFrame) *ForeignClosure
- func NewERRenameClosure(defExpandEnv *environment.EnvironmentFrame, introScope *syntax.Scope) *ForeignClosure
- func NewForeignClosure(env *environment.EnvironmentFrame, pcnt int, variadic bool, fn ForeignFunction) *ForeignClosure
- func (p *ForeignClosure) AcceptsArity(n int) bool
- func (p *ForeignClosure) Doc() string
- func (p *ForeignClosure) Env() *environment.EnvironmentFrame
- func (p *ForeignClosure) EqualTo(o values.Value) bool
- func (p *ForeignClosure) Fn() ForeignFunction
- func (p *ForeignClosure) IsVariadic() bool
- func (p *ForeignClosure) IsVoid() bool
- func (p *ForeignClosure) Name() string
- func (p *ForeignClosure) ParameterCount() int
- func (p *ForeignClosure) SchemeString() string
- func (p *ForeignClosure) SetDoc(doc string)
- func (p *ForeignClosure) SetName(name string)
- func (p *ForeignClosure) SetValidator(v ForeignFunction)
- func (p *ForeignClosure) Validator() ForeignFunction
- type ForeignFunction
- type FreeIdResolution
- type FreeList
- type ImportSet
- type InlinedOperation
- type Instruction
- type LibraryEnumerator
- type LibraryImportEvent
- type LibraryImportObserver
- type LibraryName
- func DiscoverAvailableLibraries(resolver FileResolver, reg *LibraryRegistry) ([]LibraryName, error)
- func FilePathToLibraryName(path string) (LibraryName, error)
- func NewLibraryName(parts ...string) LibraryName
- func ParseLibraryNameFromDatum(ctx context.Context, expr values.Value) (LibraryName, error)
- type LibraryRegistry
- func (p *LibraryRegistry) All() []*CompiledLibrary
- func (p *LibraryRegistry) AllNames() []LibraryName
- func (p *LibraryRegistry) FindLibraryFile(name LibraryName) (string, error)
- func (p *LibraryRegistry) FinishLoading(name LibraryName)
- func (p *LibraryRegistry) GetSearchPaths() []string
- func (p *LibraryRegistry) ImportObserver() LibraryImportObserver
- func (p *LibraryRegistry) IsLoading(name LibraryName) bool
- func (p *LibraryRegistry) Lookup(name LibraryName) *CompiledLibrary
- func (p *LibraryRegistry) PrependSearchPath(path string)
- func (p *LibraryRegistry) Register(lib *CompiledLibrary) error
- func (p *LibraryRegistry) SetImportObserver(obs LibraryImportObserver)
- func (p *LibraryRegistry) SetSearchPaths(paths []string)
- func (p *LibraryRegistry) StartLoading(name LibraryName)
- type LiteralIndex
- type MachineClosure
- func CompileSyntaxRules(ctx context.Context, env *environment.EnvironmentFrame, ...) (*MachineClosure, error)
- func NewClosureWithTemplate(tpl *NativeTemplate, env *environment.EnvironmentFrame) *MachineClosure
- func NewVMForeignClosure(env *environment.EnvironmentFrame, pcnt int, variadic bool, fn ForeignFunction) *MachineClosure
- func (p *MachineClosure) AcceptsArity(n int) bool
- func (p *MachineClosure) Copy() *MachineClosure
- func (p *MachineClosure) Env() *environment.EnvironmentFrame
- func (p *MachineClosure) EqualTo(o values.Value) bool
- func (p *MachineClosure) IsVoid() bool
- func (p *MachineClosure) SchemeString() string
- func (p *MachineClosure) Template() *NativeTemplate
- type MachineContext
- func AcquireTopLevelContext(ctx context.Context, tpl *NativeTemplate, env *environment.EnvironmentFrame) *MachineContext
- func NewMachineContext(ctx context.Context, cont *MachineContinuation) *MachineContext
- func NewMachineContextFromMachineClosure(ctx context.Context, cls *MachineClosure) *MachineContext
- func NewThreadSubContext(params SubContextParams, thread *values.Thread) *MachineContext
- func (p *MachineContext) Apply(mcls *MachineClosure, vs ...values.Value) (*MachineContext, error)
- func (p *MachineContext) ApplyCallable(callable values.Value, args ...values.Value) (*MachineContext, error)
- func (p *MachineContext) ApplyCaseLambda(clcls *CaseLambdaClosure, vs ...values.Value) (*MachineContext, error)
- func (p *MachineContext) Arg(index int) values.Value
- func (p *MachineContext) Authorizer() security.Authorizer
- func (p *MachineContext) BarrierValid() *BarrierToken
- func (p *MachineContext) CallDepth() int
- func (p *MachineContext) CaptureStackTrace(maxDepth int) StackTrace
- func (p *MachineContext) CaptureSubContextParams() SubContextParams
- func (p *MachineContext) CollectContinuationMarks(tag *PromptTag) *ContinuationMarkSet
- func (p *MachineContext) Context() context.Context
- func (p *MachineContext) Counters() VMCounters
- func (p *MachineContext) CurrentContinuation() *MachineContinuation
- func (p *MachineContext) CurrentSource() *syntax.SourceContext
- func (p *MachineContext) Debugger() *Debugger
- func (p *MachineContext) DeleteMark(key values.Value)
- func (p *MachineContext) EnvironmentFrame() *environment.EnvironmentFrame
- func (p *MachineContext) Error(msg string) *SchemeError
- func (p *MachineContext) EscapeCont() *MachineContinuation
- func (p *MachineContext) ExceptionHandler() *ExceptionHandler
- func (p *MachineContext) ExpanderContext() *ExpanderContext
- func (p *MachineContext) FindPrompt(tag *PromptTag) (*MachineContinuation, bool)
- func (p *MachineContext) GetImmediateMark(key values.Value) values.Value
- func (p *MachineContext) GetMark(key values.Value) values.Value
- func (p *MachineContext) GetValue() values.Value
- func (p *MachineContext) GetValues() MultipleValues
- func (p *MachineContext) MaxCallDepth() uint64
- func (p *MachineContext) NewSubContext() *MachineContext
- func (p *MachineContext) PC() int
- func (p *MachineContext) Parent() *MachineContinuation
- func (p *MachineContext) ParentMC() *MachineContext
- func (p *MachineContext) PopContinuation() (*MachineContinuation, error)
- func (p *MachineContext) PopExceptionHandler() *ExceptionHandler
- func (p *MachineContext) PopWindingFrame() *DynamicWindFrame
- func (p *MachineContext) PromptTag() *PromptTag
- func (p *MachineContext) PushExceptionHandler(handler values.Callable)
- func (p *MachineContext) PushWindingFrame(frame *DynamicWindFrame)
- func (p *MachineContext) ResolveParameterValue(param *Parameter) values.Value
- func (p *MachineContext) Restore(cont *MachineContinuation)
- func (p *MachineContext) RestoreAndRelease(cont *MachineContinuation)
- func (p *MachineContext) RestoreWithWinding(cont *MachineContinuation, targetStack WindingStack) error
- func (p *MachineContext) RestoreWithWindingFrom(cont *MachineContinuation, sourceStack, targetStack WindingStack) error
- func (p *MachineContext) RewindTo(target WindingStack, commonDepth int) error
- func (p *MachineContext) Run() error
- func (p *MachineContext) RunWithEscapeHandling() error
- func (p *MachineContext) SaveContinuation(off int) error
- func (p *MachineContext) SetBarrierValid(v *BarrierToken)
- func (p *MachineContext) SetContext(ctx context.Context)
- func (p *MachineContext) SetDebugger(d *Debugger)
- func (p *MachineContext) SetEscapeCont(cont *MachineContinuation)
- func (p *MachineContext) SetExceptionHandler(h *ExceptionHandler)
- func (p *MachineContext) SetExpanderContext(ctx *ExpanderContext)
- func (p *MachineContext) SetMark(key, val values.Value)
- func (p *MachineContext) SetMaxCallDepth(n uint64)
- func (p *MachineContext) SetPC(v int)
- func (p *MachineContext) SetPromptTag(tag *PromptTag)
- func (p *MachineContext) SetThread(t *values.Thread)
- func (p *MachineContext) SetValue(v values.Value)
- func (p *MachineContext) SetValues(vs ...values.Value)
- func (p *MachineContext) SetWindingStack(stack WindingStack)
- func (p *MachineContext) SliceContinuationAt(prompt *MachineContinuation) *MachineContinuation
- func (p *MachineContext) Template() *NativeTemplate
- func (p *MachineContext) Thread() *values.Thread
- func (p *MachineContext) ThreadID() uint64
- func (p *MachineContext) UnwindTo(commonDepth int) error
- func (p *MachineContext) WindingStack() WindingStack
- func (p *MachineContext) WrapError(err error, msg string) *SchemeError
- type MachineContinuation
- func NewMachineContinuation(parent *MachineContinuation, tpl *NativeTemplate, ...) *MachineContinuation
- func NewMachineContinuationFromMachineContext(mc *MachineContext, off int) *MachineContinuation
- func NewMachineContinuationWithPrompt(parent *MachineContinuation, tpl *NativeTemplate, ...) *MachineContinuation
- func (p *MachineContinuation) CallDepth() int
- func (p *MachineContinuation) Copy() *MachineContinuation
- func (p *MachineContinuation) DeepCopy() *MachineContinuation
- func (p *MachineContinuation) EnvironmentFrame() *environment.EnvironmentFrame
- func (p *MachineContinuation) EqualTo(o values.Value) bool
- func (p *MachineContinuation) IsVoid() bool
- func (p *MachineContinuation) MarkChainShared()
- func (p *MachineContinuation) PC() int
- func (p *MachineContinuation) Parent() *MachineContinuation
- func (p *MachineContinuation) PromptHandler() Closure
- func (p *MachineContinuation) PromptTag() *PromptTag
- func (p *MachineContinuation) PushValues(v ...values.Value)
- func (p *MachineContinuation) SchemeString() string
- func (p *MachineContinuation) SetPC(v int)
- func (p *MachineContinuation) SetPromptHandler(h Closure)
- func (p *MachineContinuation) SetPromptTag(t *PromptTag)
- func (p *MachineContinuation) Template() *NativeTemplate
- func (p *MachineContinuation) ThreadID() uint64
- type MultipleValues
- type NativeTemplate
- func (p *NativeTemplate) AppendCachedBinding(bd *environment.Binding) int32
- func (p *NativeTemplate) AppendInstruction(instr Instruction)
- func (p *NativeTemplate) AppendInstructionWithSource(src *syntax.SourceContext, instr Instruction)
- func (p *NativeTemplate) AppendOperations(ops ...Operation)
- func (p *NativeTemplate) AppendOperationsWithSource(src *syntax.SourceContext, ops ...Operation)
- func (p *NativeTemplate) AppendSideTableOp(op InlinedOperation) Instruction
- func (p *NativeTemplate) Code() []Instruction
- func (p *NativeTemplate) CodeLen() int
- func (p *NativeTemplate) Copy() *NativeTemplate
- func (p *NativeTemplate) DeduplicateLiteral(v values.Value) values.Value
- func (p *NativeTemplate) Doc() string
- func (p *NativeTemplate) EqualTo(o values.Value) bool
- func (p *NativeTemplate) IsVariadic() bool
- func (p *NativeTemplate) IsVoid() bool
- func (p *NativeTemplate) Literals() MultipleValues
- func (p *NativeTemplate) MaybeAppendLiteral(v values.Value) LiteralIndex
- func (p *NativeTemplate) Name() string
- func (p *NativeTemplate) Operations() Operations
- func (p *NativeTemplate) Optimize()
- func (p *NativeTemplate) ParameterCount() int
- func (p *NativeTemplate) PatchInstructionArg(codeIdx int, arg int32)
- func (p *NativeTemplate) SchemeString() string
- func (p *NativeTemplate) SetDoc(doc string)
- func (p *NativeTemplate) SetName(name string)
- func (p *NativeTemplate) SideTable() []InlinedOperation
- func (p *NativeTemplate) SourceAt(pc int) *syntax.SourceContext
- func (p *NativeTemplate) ValueCount() int
- type OSFileResolver
- type OpCode
- type Operation
- type OperationApply
- type OperationBase
- type OperationBindPatternVars
- type OperationBranchOffsetImmediate
- type OperationBranchOnFalseValueOffsetImmediate
- type OperationBuildSyntaxList
- type OperationClearSyntaxCaseInput
- type OperationDrop
- type OperationForeignFunctionCall
- type OperationLoadCachedBinding
- type OperationLoadGlobalByGlobalIndexLiteralIndexImmediate
- type OperationLoadLiteralByLiteralIndexImmediate
- type OperationLoadLocalByLocalIndexImmediate
- type OperationLoadVoid
- type OperationMakeCaseLambdaClosure
- type OperationMakeClosure
- type OperationPeekK
- type OperationPop
- type OperationPopEnv
- type OperationPopWind
- type OperationPull
- type OperationPush
- type OperationPushEnv
- type OperationPushWind
- type OperationRestoreContMark
- type OperationRestoreContinuation
- type OperationSaveContMark
- type OperationSaveContinuationOffsetImmediate
- type OperationSetContMark
- type OperationStoreGlobalByGlobalIndexLiteralIndexImmediate
- type OperationStoreLocalByLocalIndexImmediate
- type OperationStoreSyntaxCaseInput
- type OperationSyntaxCaseMatch
- type OperationSyntaxCaseNoMatch
- type OperationSyntaxRulesTransform
- type OperationSyntaxTemplateExpand
- type OperationUnpackListToStack
- type Operations
- type Parameter
- func (p *Parameter) AcceptsArity(n int) bool
- func (p *Parameter) Converter() Closure
- func (p *Parameter) EqualTo(v values.Value) bool
- func (p *Parameter) HasConverter() bool
- func (p *Parameter) IsVoid() bool
- func (p *Parameter) SchemeString() string
- func (p *Parameter) SetValue(v values.Value)
- func (p *Parameter) Value() values.Value
- type PhaseEntry
- type Pool
- type PoolHandle
- type PoolManager
- type PoolSnapshot
- type PrimitiveExpander
- func (p *PrimitiveExpander) EqualTo(other values.Value) bool
- func (p *PrimitiveExpander) Expand(etc *ExpanderTimeContinuation, sym *syntax.SyntaxSymbol, ...) (syntax.SyntaxValue, error)
- func (p *PrimitiveExpander) IsVoid() bool
- func (p *PrimitiveExpander) Name() string
- func (p *PrimitiveExpander) SchemeString() string
- type PrimitiveExpanderFunc
- type PromptTag
- type ResolvedImportSet
- type SchemeError
- type Stack
- func (p Stack) AsList() values.Tuple
- func (p *Stack) Clear()
- func (p Stack) Copy() *Stack
- func (p *Stack) Drain() []values.Value
- func (p Stack) IsVoid() bool
- func (p Stack) Len() int
- func (p Stack) PeekK(i int) values.Value
- func (p *Stack) Pop() values.Value
- func (p *Stack) PopAll() []values.Value
- func (p *Stack) PopN(n int) []values.Value
- func (p *Stack) Pull() values.Value
- func (p *Stack) Push(v values.Value)
- func (p *Stack) PushAll(vs []values.Value)
- func (p Stack) SchemeString() string
- func (p Stack) String() string
- type StackFrame
- type StackTrace
- type StepMode
- type SubContextParams
- type SyntaxCompiler
- type SyntaxCompilerFunc
- type SyntaxRulesClause
- type VMCounters
- type WindingStack
Constants ¶
const ImplementationName = "wile"
ImplementationName is the name of this Scheme implementation.
const (
// SchemeIncludePathEnv is the environment variable name for the Scheme include path
SchemeIncludePathEnv = "SCHEME_INCLUDE_PATH"
)
Variables ¶
var DefaultLibraryPaths = []string{
".",
"./stdlib/lib",
}
DefaultLibraryPaths are the default directories to search for libraries.
var DefaultPromptTag = NewPromptTag("default")
DefaultPromptTag is the default prompt tag installed at the top of execution.
var ErrBindingNotFound = werr.NewStaticError("binding not found")
var ErrInvalidGlobalIndex = werr.NewStaticError("literal is not a global index")
var ErrInvalidLiteralIndex = werr.NewStaticError("invalid literal index")
var ErrInvalidProgramCounter = werr.NewStaticError("invalid program counter")
var ErrLocalIndexOverflow = werr.NewStaticError("local index overflow")
ErrLocalIndexOverflow signals that a De Bruijn index slot or depth exceeds the int16 encoding range (-32768..32767). EncodeLocalIndex panics with this sentinel when the bytecode format cannot represent the index.
var ErrMachineDoNotAdvancePC = werr.NewStaticError("machine do not advance PC: operation did not advance program counter")
Functions ¶
func AllFeatures ¶
func AllFeatures() []string
AllFeatures returns all supported feature identifiers.
func CopyLibraryBindingsToEnv ¶
func CopyLibraryBindingsToEnv(lib *CompiledLibrary, bindings map[string]string, targetEnv *environment.EnvironmentFrame) error
CopyLibraryBindingsToEnv copies exported bindings from a library to an environment. bindings is the map from localName -> externalName produced by ApplyToExports. Both runtime and syntax bindings are copied. This is a convenience wrapper that imports to phase 0 (runtime).
func CopyLibraryBindingsToEnvAtPhase ¶
func CopyLibraryBindingsToEnvAtPhase(lib *CompiledLibrary, bindings map[string]string, targetEnv *environment.EnvironmentFrame, targetPhase int) error
func DecodeLocalIndex ¶ added in v1.4.0
DecodeLocalIndex unpacks slot and depth from a bit-packed Instruction.Arg.
func EncodeLocalIndex ¶ added in v1.4.0
func EncodeLocalIndex(li *environment.LocalIndex) int32
EncodeLocalIndex packs a LocalIndex's slot and depth into a single int32 for storage in Instruction.Arg. Slot occupies the low 16 bits; depth occupies the high 16 bits. Both values must fit in int16 range (max 32767).
De Bruijn indices (de Bruijn 1972). Variables are addressed by numeric coordinates, eliminating name lookup at runtime.
addr(x) = (slot, depth), where: depth = number of enclosing λ-binders from use to definition slot = index within the binding array at that depth Encoding: Arg = (depth << 16) | (slot & 0xFFFF) Invariant: the same variable always has the same (slot, depth) regardless of its name. Alpha-equivalence is a non-issue at runtime. Constrains: GetLocalBindingBySlotDepth / SetLocalValueBySlotDepth (runtime access walks depth parent pointers, indexes by slot), linked closures (parent chain must match compile-time depth). Constrained by: resolveLocal (compile-time computation of depth by walking the EnvironmentFrame parent chain).
See BIBLIOGRAPHY.md "De Bruijn Indices / Lexical Addressing".
func FindCommonWindingPrefix ¶
func FindCommonWindingPrefix(current, target WindingStack) int
FindCommonWindingPrefix finds the longest common prefix of two winding stacks. Returns the index where they diverge (0 means no common frames).
func GraftContinuation ¶
func GraftContinuation(segment, target *MachineContinuation)
GraftContinuation walks the segment chain to its bottom frame and sets its parent to target, effectively splicing the segment onto the target chain.
func IsFeatureSupported ¶
IsFeatureSupported checks if a feature identifier is supported.
func LookupPhaseBinding ¶
func LookupPhaseBinding[T any]( phaseEnv *environment.EnvironmentFrame, sym *values.Symbol, scopes []*syntax.Scope, ) T
LookupPhaseBinding looks up a binding by symbol in the target phase environment. Returns the value cast to type T if found, or the zero value if not found or if the value is not of type T.
This function handles hygiene by using scoped lookup - it will only match bindings whose scopes are a subset of the symbol's scopes.
func RegisterPhaseBindings ¶
func RegisterPhaseBindings[F any]( env *environment.EnvironmentFrame, phaseEnv func() *environment.EnvironmentFrame, entries []PhaseEntry[F], wrapper func(name string, fn F) values.Value, ) error
RegisterPhaseBindings binds all entries in the target phase environment. This is a generic helper for registering primitives in expand or compile phases.
Parameters:
- env: The top-level environment
- phaseEnv: Accessor for the target phase (e.g., env.Expand or env.Compile)
- entries: Slice of (name, function) pairs to register
- wrapper: Creates the values.Value wrapper from name and function
func RegisterPrimitiveExpanders ¶
func RegisterPrimitiveExpanders(env *environment.EnvironmentFrame) error
RegisterPrimitiveExpanders binds all primitive expanders in the expand-time environment (env.Expand()). These are looked up by ExpandPrimitiveForm() when the expander encounters a special form.
Each primitive has different expansion behavior:
- quote, define-syntax, define-library, quasiquote: return unchanged (no expansion)
- if: expand test, consequent, alternative separately
- begin: expand all subexpressions
- set!: expand only the value expression
- define: expand value if simple define
- lambda, case-lambda: expand body expressions
- syntax-case, cond-expand: return unchanged (compile-time forms)
func RegisterSyntaxCompilers ¶
func RegisterSyntaxCompilers(env *environment.EnvironmentFrame) error
RegisterSyntaxCompilers binds all syntax compilers in the compile-time environment (env.Compile()). These bindings serve two purposes:
- Library export/import: findLibraryBinding in library_bindings.go searches the compile environment to locate syntax compilers when exporting or importing forms like syntax-case, define-syntax, etc.
- Scope-aware lookup via LookupSyntaxCompiler for hygiene resolution.
Compilation dispatch itself goes through the forms registry (register.go), not through these bindings. The forms registry and the compile environment are populated from the same source list to stay in sync.
The syntax compilers are bound with BindingTypePrimitive to distinguish them from syntax transformers (BindingTypeSyntax) and regular variables.
func ReleaseSubContext ¶ added in v1.4.0
func ReleaseSubContext(mc *MachineContext)
ReleaseSubContext zeros the MachineContext and returns it to the pool. Exported because call sites live in other packages (registry/, extensions/).
func ReleaseTopLevelContext ¶ added in v1.5.0
func ReleaseTopLevelContext(mc *MachineContext)
ReleaseTopLevelContext zeros the MachineContext and returns it to the pool. Exported because the primary call sites live in the root wile package (engine.go).
func ResolveAndInstallImportSet ¶ added in v1.5.0
func ResolveAndInstallImportSet(ctx context.Context, datum values.Value, env *environment.EnvironmentFrame, phase int) error
ResolveAndInstallImportSet resolves an import set and installs bindings into env at the appropriate phase. Used for top-level imports (both expander and compiler). Library-internal imports share the resolution step (resolveImportSet) but use copyLibraryBindingsDirect for installation.
Types ¶
type BarrierToken ¶ added in v1.4.0
type BarrierToken struct {
// contains filtered or unexported fields
}
BarrierToken is an opaque identity for a with-continuation-barrier scope. Each call to call-with-continuation-barrier creates a fresh token. Barrier crossing is detected by pointer identity comparison: if the capture-time token differs from the invocation-time token, the continuation would cross a barrier boundary.
nil means "not inside any barrier."
The _ field ensures non-zero struct size. Go may return the same pointer for all zero-sized allocations (runtime.zerobase), which would defeat pointer identity comparison.
func NewBarrierToken ¶ added in v1.4.0
func NewBarrierToken() *BarrierToken
NewBarrierToken creates a fresh barrier identity token.
type Breakpoint ¶
type Breakpoint struct {
ID BreakpointID
File string
Line int
Column int // 0 = any column on line
Enabled bool
HitCount int
}
Breakpoint represents a source-level breakpoint.
type CapturedContinuation ¶ added in v1.7.0
type CapturedContinuation struct {
// contains filtered or unexported fields
}
CapturedContinuation is the value returned by call/cc to Scheme code. It is both callable (invoking it escapes to the captured point) and introspectable (continuation-marks can extract marks from its chain).
This replaces the opaque ForeignClosure that call/cc previously returned. The escape logic (thread check, barrier check, compose-then-abort) now lives in applyCapturedContinuation rather than inside a Go closure.
func NewCapturedContinuation ¶ added in v1.7.0
func NewCapturedContinuation( cc *ComposableContinuation, threadID uint64, barrierValid *BarrierToken, ) *CapturedContinuation
NewCapturedContinuation creates a captured continuation value from a composable continuation segment and the safety context at capture time.
func (*CapturedContinuation) AcceptsArity ¶ added in v1.7.0
func (p *CapturedContinuation) AcceptsArity(n int) bool
AcceptsArity reports whether this continuation can be called with n arguments. Escape continuations accept exactly 1 argument — the value to resume with.
func (*CapturedContinuation) ComposableContinuation ¶ added in v1.7.0
func (p *CapturedContinuation) ComposableContinuation() *ComposableContinuation
ComposableContinuation returns the underlying composable continuation, which carries the MachineContinuation chain for mark extraction.
func (*CapturedContinuation) EqualTo ¶ added in v1.7.0
func (p *CapturedContinuation) EqualTo(o values.Value) bool
func (*CapturedContinuation) IsVoid ¶ added in v1.7.0
func (p *CapturedContinuation) IsVoid() bool
func (*CapturedContinuation) SchemeString ¶ added in v1.7.0
func (p *CapturedContinuation) SchemeString() string
type CaseLambdaClosure ¶
type CaseLambdaClosure struct {
// contains filtered or unexported fields
}
CaseLambdaClosure dispatches to the first clause whose arity matches the argument count. Each clause is a MachineClosure with its own template and captured environment.
func NewCaseLambdaClosure ¶
func NewCaseLambdaClosure(closures []*MachineClosure) *CaseLambdaClosure
func (*CaseLambdaClosure) AcceptsArity ¶ added in v1.5.0
func (p *CaseLambdaClosure) AcceptsArity(n int) bool
AcceptsArity reports whether any clause in this case-lambda can accept n arguments.
func (*CaseLambdaClosure) Clauses ¶
func (p *CaseLambdaClosure) Clauses() []*MachineClosure
func (*CaseLambdaClosure) EqualTo ¶
func (p *CaseLambdaClosure) EqualTo(o values.Value) bool
EqualTo implements Scheme equality for case-lambda closures. Two void closures (nil receivers) are considered equal to each other. Non-void closures are equal only if they have the same number of clauses and each corresponding clause is EqualTo its counterpart.
func (*CaseLambdaClosure) FindMatchingClause ¶
func (p *CaseLambdaClosure) FindMatchingClause(argCount int) (*MachineClosure, bool)
FindMatchingClause finds the first clause that matches the given argument count. It returns the matching closure and true when a clause can accept exactly argCount arguments (for fixed-arity clauses) or at least argCount arguments (for variadic clauses). If the receiver is nil or no clause matches, it returns nil, false.
func (*CaseLambdaClosure) IsVoid ¶
func (p *CaseLambdaClosure) IsVoid() bool
IsVoid reports whether this value represents the absence of a case-lambda closure. A nil receiver is treated as a distinguished "void" closure value, used as a sentinel to mean "no closure" rather than an error.
func (*CaseLambdaClosure) SchemeString ¶
func (p *CaseLambdaClosure) SchemeString() string
SchemeString returns the Scheme-readable representation of a case-lambda closure. Note that the void value (nil receiver) still prints as a case-lambda closure; callers must use IsVoid to distinguish the sentinel.
type ChainFileResolver ¶ added in v1.7.2
type ChainFileResolver struct {
// contains filtered or unexported fields
}
ChainFileResolver tries multiple resolvers in order, falling through to the next on ErrFileNotFound. Non-file-not-found errors (security denials, I/O errors) propagate immediately.
func NewChainFileResolver ¶ added in v1.7.2
func NewChainFileResolver(resolvers []FileResolver) *ChainFileResolver
NewChainFileResolver creates a resolver that tries each resolver in order. Panics if resolvers is empty.
func (*ChainFileResolver) EnumerateLibraries ¶ added in v1.10.3
func (p *ChainFileResolver) EnumerateLibraries() ([]LibraryName, error)
EnumerateLibraries unions library enumerations from all child resolvers that implement LibraryEnumerator. First resolver wins on duplicate keys, matching the resolution priority order. Errors from child resolvers propagate immediately, matching ChainFileResolver.ResolveAndOpen behavior.
func (*ChainFileResolver) ResolveAndOpen ¶ added in v1.7.2
type Closure ¶ added in v1.5.0
Closure is a callable that can be directly applied — either a compiled Scheme closure (*MachineClosure) or a Go foreign function (*ForeignClosure). Distinguished from other Callable types (CaseLambdaClosure, Parameter, ComposableContinuation) which have different application semantics.
type CompileTimeCallContext ¶
type CompileTimeCallContext struct {
// contains filtered or unexported fields
}
CompileTimeCallContext carries contextual information through the compilation process. It tracks whether an expression is in tail position, which controls whether the compiler emits SaveContinuation (non-tail) or reuses the current frame (tail).
This structure is passed by value (not pointer) through the compiler, allowing each compilation step to create modified copies without affecting the caller's context.
Tail Call Optimization ¶
Tail call optimization (Steele 1977, R7RS §3.5): tail calls reuse the caller's continuation frame instead of allocating a new one, making recursive procedures in tail position run in constant stack space. See BIBLIOGRAPHY.md "Tail Call Optimization".
The inTail flag tracks whether an expression is in tail position. An expression is in tail position if its value will be the final result of the enclosing procedure. When inTail is true, the compiler can generate a tail call that reuses the current stack frame instead of creating a new one, preventing stack overflow in recursive procedures.
Per R7RS Section 3.5, these positions are tail positions:
- The body of a lambda expression
- The last expression in a begin sequence (if the begin is in tail position)
- The consequent and alternative of an if expression (if the if is in tail position)
- The body of a let/let*/letrec (if the let is in tail position)
These are NOT tail positions (use NotInTail()):
- Function arguments: (f (g x)) - the call to g is not in tail position
- Condition of if: (if (pred x) ...) - pred is not in tail position
- Definitions: (define x (expr)) - expr is not in tail position
- Non-final expressions in begin: (begin (a) (b) (c)) - only c is in tail position
func NewCompileTimeCallContext ¶
func NewCompileTimeCallContext(ctx context.Context, inTail bool) CompileTimeCallContext
NewCompileTimeCallContext creates a new compile-time context. Parameters:
- inTail: true if compiling an expression in tail position
func (CompileTimeCallContext) Context ¶ added in v1.5.0
func (p CompileTimeCallContext) Context() context.Context
Context returns the context associated with this compile-time call context.
func (CompileTimeCallContext) NotInTail ¶
func (p CompileTimeCallContext) NotInTail() CompileTimeCallContext
NotInTail returns a copy of the context with inTail set to false. Use this when compiling sub-expressions that are not in tail position:
- Function arguments
- Condition expressions in if
- Initial values in define/let bindings
- Non-final expressions in begin
Example:
// Compiling (f (g x)) - the call to g is not in tail position err := p.CompileExpression(ctctx.NotInTail(), argExpr)
type CompileTimeContinuation ¶
type CompileTimeContinuation struct {
// contains filtered or unexported fields
}
CompileTimeContinuation is a continuation used during the compilation phase
func NewCompiletimeContinuation ¶
func NewCompiletimeContinuation(tpl *NativeTemplate, env *environment.EnvironmentFrame) *CompileTimeContinuation
NewCompiletimeContinuation creates a new CompileTimeContinuation. The file resolver defaults to the one stored on the Namespace. If none is set, falls back to a fresh OSFileResolver.
func (*CompileTimeContinuation) AppendOperations ¶
func (p *CompileTimeContinuation) AppendOperations(ops ...Operation)
AppendOperations appends operations tagged with the current source from the source stack. Routes through the integer-dispatch code[] path: Wave 1-3 operations become direct instructions, everything else goes via OpComplex to the sideTable.
func (*CompileTimeContinuation) CompileBeginForSyntax ¶
func (p *CompileTimeContinuation) CompileBeginForSyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileBeginForSyntax handles (begin-for-syntax expr ...).
Evaluates a sequence of expressions at compile time in the expand phase environment. Used for setting up compile-time state (hash tables, registries) that macros can access. No runtime effect — used for side effects only.
func (*CompileTimeContinuation) CompileCondExpand ¶
func (p *CompileTimeContinuation) CompileCondExpand(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileCondExpand compiles a cond-expand expression. cond-expand is evaluated at compile-time and expands to the body of the first clause whose feature requirement is satisfied.
Syntax: (cond-expand <clause> ...) where <clause> is (<feature-requirement> <expression> ...)
Example:
(cond-expand (r7rs (display "R7RS")) (else (display "other")))
func (*CompileTimeContinuation) CompileDefineForSyntax ¶
func (p *CompileTimeContinuation) CompileDefineForSyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileDefineForSyntax handles (define-for-syntax name expr) or (define-for-syntax (name args...) body...).
This form defines a binding in the expand phase environment that is available during macro expansion. The expression is compiled and evaluated at compile time, and the result is stored in env.Expand().
Unlike define-syntax (which stores macro transformers), define-for-syntax stores regular values with BindingTypeVariable.
func (*CompileTimeContinuation) CompileDefineLibrary ¶
func (p *CompileTimeContinuation) CompileDefineLibrary(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileDefineLibrary handles (define-library (lib-name) <library-declaration> ...).
R7RS library syntax:
(define-library <library-name> <library-declaration> ...) <library-declaration> = | (export <export-spec> ...) | (import <import-set> ...) | (begin <command-or-definition> ...) | (include <filename> ...) | (include-ci <filename> ...)
This creates an isolated environment for the library, processes declarations in order, and registers the compiled library in the registry.
func (*CompileTimeContinuation) CompileDefineSyntax ¶
func (p *CompileTimeContinuation) CompileDefineSyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileDefineSyntax handles (define-syntax keyword transformer-expr).
This is the compile-time handler for R7RS define-syntax. Unlike most definitions, define-syntax is processed entirely at compile time:
- Parse the form: (define-syntax keyword (syntax-rules ...))
- Compile the syntax-rules transformer to a MachineClosure
- Store the closure in the environment with BindingTypeSyntax
- Emit NO runtime operations (the binding is already established)
The BindingTypeSyntax marker is crucial: when the expander encounters a symbol, it checks if that symbol is bound to a syntax transformer. If so, it invokes the transformer closure to expand the macro.
This is how derived expressions like 'let' work: they're defined as macros using define-syntax, and expand to lambda expressions:
(define-syntax let
(syntax-rules ()
((let ((name val) ...) body)
((lambda (name ...) body) val ...))))
Reference: R7RS Section 5.4 (Syntax definitions)
func (*CompileTimeContinuation) CompileEvalWhen ¶
func (p *CompileTimeContinuation) CompileEvalWhen(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileEvalWhen handles (eval-when (phase ...) body ...).
This form controls when code is evaluated based on phase specifiers. Phase names follow Chez Scheme's eval-when (Dybvig, TSPL §12.10):
- expand: evaluate during macro expansion (at compile time)
- compile: evaluate during compilation (currently same as expand)
- run: evaluate at runtime (generate code for normal execution)
Multiple phases can be specified. If both expand and run are specified, the body is evaluated at compile time AND code is generated for runtime.
eval-when is not part of R7RS-small; it is a Wile extension.
Examples:
(eval-when (expand) (display "at expansion time")) (eval-when (run) (display "at runtime")) (eval-when (expand run) (display "both times"))
func (*CompileTimeContinuation) CompileExport ¶
func (p *CompileTimeContinuation) CompileExport(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
CompileExport handles top-level (export <export-spec> ...).
This is only valid within a library definition. At top-level, it's an error.
func (*CompileTimeContinuation) CompileExpression ¶
func (p *CompileTimeContinuation) CompileExpression(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileExpression compiles a general expression. Pushes the expression's source context onto the source stack so that all operations emitted during compilation (including infrastructure ops like Branch and Push) are tagged with the source location.
func (*CompileTimeContinuation) CompileImport ¶
func (p *CompileTimeContinuation) CompileImport(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileImport handles top-level (import <import-set> ...).
This is for top-level imports outside of a library definition. It loads the specified libraries and binds their exports in the current environment.
Supports Racket-style phased imports:
- (import (scheme base)) ; Phase 0 (runtime)
- (import (for-syntax (scheme base))) ; Phase 1 (expand)
- (import (for-template (scheme base))) ; Phase -1
- (import (for-meta 2 (scheme base))) ; Phase 2
func (*CompileTimeContinuation) CompileInclude ¶
func (p *CompileTimeContinuation) CompileInclude(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileInclude compiles an include expression. It reads and compiles all forms from the specified files in order. Each form is expanded and compiled in the current environment.
func (*CompileTimeContinuation) CompileIncludeCi ¶
func (p *CompileTimeContinuation) CompileIncludeCi(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileIncludeCi compiles an include-ci expression. It reads and compiles all forms from the specified files in order, treating symbols as case-insensitive (folded to lowercase).
func (*CompileTimeContinuation) CompileMeta ¶
func (p *CompileTimeContinuation) CompileMeta(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileMeta compiles a meta expression.
func (*CompileTimeContinuation) CompileQuasisyntax ¶
func (p *CompileTimeContinuation) CompileQuasisyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileQuasisyntax compiles the (quasisyntax template) form.
quasisyntax is like quasiquote but for syntax objects. It supports:
- (unsyntax expr) - evaluate expr and splice result at depth 1
- (unsyntax-splicing expr) - evaluate and splice list at depth 1
- nested quasisyntax increases depth
Like quasiquote, unsyntax only evaluates when depth reaches 0. The result is a syntax object, not a raw datum.
func (*CompileTimeContinuation) CompileSelfEvaluating ¶
func (p *CompileTimeContinuation) CompileSelfEvaluating(_ CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileSelfEvaluating compiles a self-evaluating expression (literal).
func (*CompileTimeContinuation) CompileSymbol ¶
func (p *CompileTimeContinuation) CompileSymbol(ctctx CompileTimeCallContext, expr *syntax.SyntaxSymbol) error
CompileSymbol compiles a syntax symbol expression.
func (*CompileTimeContinuation) CompileSyntax ¶
func (p *CompileTimeContinuation) CompileSyntax(_ CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileSyntax compiles the (syntax template) form.
Unlike quote which unwraps syntax to raw values, syntax preserves the syntax structure. When used inside syntax-case, pattern variables in the template are substituted with their matched values.
For templates containing ellipsis (...), runtime expansion is used because ellipsis patterns capture variable-length lists that must be expanded dynamically.
(syntax template) -> syntax-object
func (*CompileTimeContinuation) CompileSyntaxCase ¶
func (p *CompileTimeContinuation) CompileSyntaxCase(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileSyntaxCase compiles the (syntax-case expr (literal ...) clause ...) form.
R6RS syntax-case is a pattern matching form that provides procedural macro facilities. Unlike syntax-rules which expands to templates, syntax-case evaluates arbitrary Scheme code in the body, with pattern variables bound as local variables.
Syntax:
(syntax-case expr (literal ...) (pattern body) (pattern fender body) ...)
Compilation strategy:
- Compile expr to get the input syntax object
- For each clause, generate pattern matching and body code
- Pattern variables are bound as local variables in the body's scope
- If fender exists, it's evaluated as a guard condition
func (*CompileTimeContinuation) CompileUnquote ¶
func (p *CompileTimeContinuation) CompileUnquote(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
CompileUnquote errors - unquote outside of quasiquote
func (*CompileTimeContinuation) CompileUnquoteSplicing ¶
func (p *CompileTimeContinuation) CompileUnquoteSplicing(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
CompileUnquoteSplicing errors - unquote-splicing outside of quasiquote
func (*CompileTimeContinuation) CompileUnsyntax ¶
func (p *CompileTimeContinuation) CompileUnsyntax(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
CompileUnsyntax errors - unsyntax outside of quasisyntax
func (*CompileTimeContinuation) CompileUnsyntaxSplicing ¶
func (p *CompileTimeContinuation) CompileUnsyntaxSplicing(_ CompileTimeCallContext, _ syntax.SyntaxValue) error
CompileUnsyntaxSplicing errors - unsyntax-splicing outside of quasisyntax
func (*CompileTimeContinuation) CompileValidatedApply ¶ added in v1.5.0
func (p *CompileTimeContinuation) CompileValidatedApply(ctctx CompileTimeCallContext, v *validate.ValidatedApply) error
CompileValidatedApply compiles a validated (apply proc arg1 ... args) form.
R7RS §6.10: apply calls proc with the arguments arg1 ... concatenated with the elements of args (the final argument, which must be a list).
Bytecode (non-tail):
SaveContinuation →after <compile proc> PUSH <compile arg1> PUSH ... <compile argN> PUSH <compile finalList> ; value = finalList OpUnpackListToStack ; stack: [proc, arg1, ..., argN, x1, x2, ...] Pull ; value = proc Apply ; calls proc(arg1, ..., argN, x1, x2, ...) after:
Tail position: same without SaveContinuation/patch.
func (*CompileTimeContinuation) CompileValidatedBegin ¶
func (p *CompileTimeContinuation) CompileValidatedBegin(ctctx CompileTimeCallContext, v *validate.ValidatedBegin) error
CompileValidatedBegin compiles a validated (begin expr...) form.
begin (R7RS 4.2.3) sequences expressions for side effects. All expressions are evaluated left-to-right; the value of the last expression becomes the value of the entire begin form.
R7RS §5.3.2: Internal definitions use letrec* semantics - all defined names are visible throughout the body, enabling forward references between defines.
Example: (begin (display "hello") (newline) 42) => 42 (after printing)
func (*CompileTimeContinuation) CompileValidatedCaseLambda ¶
func (p *CompileTimeContinuation) CompileValidatedCaseLambda(ctctx CompileTimeCallContext, v *validate.ValidatedCaseLambda) error
CompileValidatedCaseLambda compiles a validated (case-lambda [clause] ...) form.
case-lambda (R7RS 4.2.9) creates a procedure that dispatches to different implementations based on the number of arguments. For example:
(case-lambda ((x) (* x x)) ; 1 arg: square ((x y) (* x y)) ; 2 args: multiply ((x y . rest) (apply + x y rest))) ; 2+ args: sum all
At runtime, the VM selects the first clause whose arity matches the call.
func (*CompileTimeContinuation) CompileValidatedDefine ¶
func (p *CompileTimeContinuation) CompileValidatedDefine(ctctx CompileTimeCallContext, v *validate.ValidatedDefine) error
CompileValidatedDefine compiles a validated define form.
func (*CompileTimeContinuation) CompileValidatedDefineFn ¶
func (p *CompileTimeContinuation) CompileValidatedDefineFn(ctctx CompileTimeCallContext, v *validate.ValidatedDefine) error
CompileValidatedDefineFn compiles the function shorthand form of define.
Usage: (define (name param ...) body ...)
(define (name param ... . rest) body ...)
This is syntactic sugar equivalent to:
(define name (lambda (param ...) body ...))
Examples:
(define (square x) (* x x)) ; fixed arity (define (sum . args) (apply + args)) ; variadic (all args) (define (sum x . rest) (apply + x rest)) ; variadic (1+ args)
The function name is bound before compiling the body to enable self-recursion:
(define (fact n) (if (<= n 1) 1 (* n (fact (- n 1)))))
func (*CompileTimeContinuation) CompileValidatedDynamicWind ¶
func (p *CompileTimeContinuation) CompileValidatedDynamicWind(ctctx CompileTimeCallContext, v *validate.ValidatedDynamicWind) error
CompileValidatedDynamicWind compiles a validated (dynamic-wind before thunk after) form.
R7RS §6.10: dynamic-wind calls thunk without arguments, returning the result(s). Before is called whenever execution enters the dynamic extent of the call to thunk, and after is called whenever it exits.
The key insight is that by compiling to bytecode, the cleanup code (calling after) is in the bytecode stream. When a continuation is captured inside the thunk and later restored, the cleanup code will run on normal completion.
Bytecode structure:
<compile before> PUSH <compile thunk> PUSH <compile after> PUSH ; Stack: [before, thunk, after] PEEK_K 2 ; value = before SAVE_CONTINUATION →after_before APPLY ; call before() after_before: ; Stack: [before, thunk, after] OP_PUSH_WIND ; create winding frame PEEK_K 1 ; value = thunk SAVE_CONTINUATION →after_thunk APPLY ; call thunk() after_thunk: ; Stack: [before, thunk, after] PUSH ; save thunk result, Stack: [before, thunk, after, result] OP_POP_WIND ; pop winding frame PEEK_K 1 ; value = after SAVE_CONTINUATION →after_after APPLY ; call after() after_after: ; Stack: [before, thunk, after, result] PEEK_K 0 ; value = result (thunk's return value) DROP DROP DROP DROP ; clean up stack
func (*CompileTimeContinuation) CompileValidatedIf ¶
func (p *CompileTimeContinuation) CompileValidatedIf(ctctx CompileTimeCallContext, v *validate.ValidatedIf) error
CompileValidatedIf compiles a validated (if test conseq [alt]) form. The structure is guaranteed to be valid by the validator.
Constant folding (Aho et al., Compilers §8.5): when the test is a compile-time literal, the entire if-form reduces to one branch. This is the simplest form of constant folding — evaluating known expressions at compile time rather than runtime. See BIBLIOGRAPHY.md "Constant Folding".
func (*CompileTimeContinuation) CompileValidatedLambda ¶
func (p *CompileTimeContinuation) CompileValidatedLambda(ctctx CompileTimeCallContext, v *validate.ValidatedLambda) error
CompileValidatedLambda compiles a validated (lambda params body...) form.
func (*CompileTimeContinuation) CompileValidatedLet ¶ added in v1.9.4
func (p *CompileTimeContinuation) CompileValidatedLet( ctctx CompileTimeCallContext, v *validate.ValidatedLet, ) error
CompileValidatedLet compiles all binding forms based on Kind.
let: <inits> Push... | OpPushEnv | StoreLocal(reverse) | body | OpPopEnv let*: OpPushEnv | (init Push StoreLocal)... | body | OpPopEnv letrec: OpPushEnv | <inits> Push... | StoreLocal(reverse) | body | OpPopEnv letrec*: OpPushEnv | (init Push StoreLocal)... | body | OpPopEnv
func (*CompileTimeContinuation) CompileValidatedQuasiquote ¶
func (p *CompileTimeContinuation) CompileValidatedQuasiquote(ctctx CompileTimeCallContext, v *validate.ValidatedQuasiquote) error
CompileValidatedQuasiquote compiles a validated (quasiquote template) form. Quasiquote has complex runtime semantics, so we delegate to the existing compiler.
func (*CompileTimeContinuation) CompileValidatedQuote ¶
func (p *CompileTimeContinuation) CompileValidatedQuote(_ CompileTimeCallContext, v *validate.ValidatedQuote) error
CompileValidatedQuote compiles a validated (quote datum) form.
func (*CompileTimeContinuation) CompileValidatedSetBang ¶
func (p *CompileTimeContinuation) CompileValidatedSetBang(ctctx CompileTimeCallContext, v *validate.ValidatedSetBang) error
CompileValidatedSetBang compiles a validated (set! name expr) form.
func (*CompileTimeContinuation) CompileValidatedWithContinuationMark ¶ added in v1.7.0
func (p *CompileTimeContinuation) CompileValidatedWithContinuationMark( ctctx CompileTimeCallContext, v *validate.ValidatedWithContinuationMark, ) error
CompileValidatedWithContinuationMark compiles (with-continuation-mark key val body).
Tail position:
<compile key> PUSH <compile val> SetContMark ; pops key, sets marks[key] = val <compile body in tail>
Non-tail position:
<compile key> PUSH <compile val> SaveContMark ; pops key, saves (key, old) on stack, sets mark <compile body in non-tail> RestoreContMark ; pops (old, key), restores mark
func (*CompileTimeContinuation) CompileWithSyntax ¶
func (p *CompileTimeContinuation) CompileWithSyntax(ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
CompileWithSyntax compiles the (with-syntax ((pattern expr) ...) body ...) form.
with-syntax is a convenience form for binding pattern variables from expressions. It's equivalent to:
(syntax-case (list expr ...) () ((pattern ...) (let () body ...)))
For now, this implements a simple transformation approach.
func (*CompileTimeContinuation) SetFileResolver ¶ added in v1.6.0
func (p *CompileTimeContinuation) SetFileResolver(r FileResolver)
SetFileResolver overrides the file resolver used by include/load. Nil resets to the environment's resolver (or OSFileResolver as fallback).
func (*CompileTimeContinuation) SetLibraryCallback ¶
func (p *CompileTimeContinuation) SetLibraryCallback(cb func(*CompiledLibrary))
SetLibraryCallback sets a callback function that will be called when a library is compiled via CompileDefineLibrary. This is used by LoadLibrary to capture the compiled library.
type CompiledLibrary ¶
type CompiledLibrary struct {
Name LibraryName // Library name
Description string // from (description ...) clause; "" if absent
Env *environment.EnvironmentFrame // Library's private environment
Exports map[string]string // external-name -> internal-name
SourceFile string // Path to .sld file (for error messages)
Template *NativeTemplate // Compiled bytecode (for execution)
}
CompiledLibrary holds a loaded and compiled library.
func LoadLibrary ¶
func LoadLibrary(ctx context.Context, name LibraryName, env *environment.EnvironmentFrame) (*CompiledLibrary, error)
LoadLibrary loads a library by name, compiling and executing it if not already loaded. Returns the CompiledLibrary which can be used to import bindings.
The function: 1. Checks if already loaded (returns cached library) 2. Checks for circular dependencies 3. Resolves and opens the library file via FileResolver 4. Parses and compiles the define-library form 5. Executes the library to create runtime bindings 6. Registers the library in the registry
func NewCompiledLibrary ¶
func NewCompiledLibrary(name LibraryName, env *environment.EnvironmentFrame) *CompiledLibrary
NewCompiledLibrary creates a new compiled library.
func (*CompiledLibrary) AddExport ¶
func (p *CompiledLibrary) AddExport(externalName, internalName string)
AddExport adds an export to the library. If internalName is empty, it defaults to externalName (no rename).
func (*CompiledLibrary) GetInternalName ¶
func (p *CompiledLibrary) GetInternalName(externalName string) string
GetInternalName returns the internal name for an exported external name. Returns empty string if not exported.
func (*CompiledLibrary) IsExported ¶
func (p *CompiledLibrary) IsExported(externalName string) bool
IsExported returns true if the given external name is exported.
type ComposableContinuation ¶
type ComposableContinuation struct {
// contains filtered or unexported fields
}
ComposableContinuation is a callable value wrapping a delimited continuation segment (a chain of MachineContinuation frames) plus the captured winding stack. When applied, it splices its frames onto the current continuation, effectively composing the captured computation with the current one.
This implements Racket-style composable continuations as described in Flatt, Yu, Findler, Felleisen "Adding Delimited and Composable Control to a Production Programming Environment" (ICFP 2007).
func NewComposableContinuation ¶
func NewComposableContinuation(cont *MachineContinuation, windingStack WindingStack, threadID uint64, barrierValid *BarrierToken) *ComposableContinuation
NewComposableContinuation creates a composable continuation from a continuation chain segment and the winding stack captured at the point of capture. barrierValid is mc.BarrierValid() at capture time; nil means the capture happened outside any with-continuation-barrier.
func (*ComposableContinuation) AcceptsArity ¶ added in v1.5.0
func (p *ComposableContinuation) AcceptsArity(n int) bool
AcceptsArity reports whether this composable continuation can be called with n arguments. Composable continuations accept exactly 1 argument — the value to resume with.
func (*ComposableContinuation) AcquireSegment ¶ added in v1.6.0
func (p *ComposableContinuation) AcquireSegment() *MachineContinuation
AcquireSegment returns the continuation segment for grafting.
First invocation marks the segment shared and returns it directly, avoiding a DeepCopy. Shared marking ensures RestoreAndRelease preserves frame evals for potential re-invocation.
Subsequent invocations reset the bottom frame's parent to nil (undoing GraftContinuation's mutation from the prior invocation) and deep-copy from the preserved shared frames.
This optimizes one-shot continuations (the common case in Schelog-style backtracking), eliminating O(depth) frame allocations per invocation.
func (*ComposableContinuation) BarrierValid ¶ added in v1.4.0
func (p *ComposableContinuation) BarrierValid() *BarrierToken
BarrierValid returns the barrier identity token captured when this continuation was created. Used by applyComposableContinuation to detect barrier crossings.
func (*ComposableContinuation) Cont ¶
func (p *ComposableContinuation) Cont() *MachineContinuation
func (*ComposableContinuation) EqualTo ¶
func (p *ComposableContinuation) EqualTo(o values.Value) bool
func (*ComposableContinuation) IsVoid ¶
func (p *ComposableContinuation) IsVoid() bool
func (*ComposableContinuation) SchemeString ¶
func (p *ComposableContinuation) SchemeString() string
func (*ComposableContinuation) ThreadID ¶ added in v1.1.0
func (p *ComposableContinuation) ThreadID() uint64
func (*ComposableContinuation) WindingStack ¶
func (p *ComposableContinuation) WindingStack() WindingStack
type ContinuationMarkSet ¶ added in v1.7.0
type ContinuationMarkSet struct {
// contains filtered or unexported fields
}
ContinuationMarkSet is an immutable snapshot of continuation marks collected from a walk of the continuation chain.
The frames slice contains per-frame mark slices, nearest frame first. Only frames with non-nil marks are included. Each frame is a []markEntry searched with eqIdentity (eq? semantics).
func CollectMarksFromContinuation ¶ added in v1.7.0
func CollectMarksFromContinuation(cont *MachineContinuation, tag *PromptTag) *ContinuationMarkSet
CollectMarksFromContinuation walks a captured MachineContinuation chain and builds a ContinuationMarkSet snapshot. Used by the (continuation-marks cont) primitive to extract marks from a continuation captured via call/cc.
Starts from cont (nearest frame) and walks parent links, stopping at the first frame whose promptTag matches tag (inclusive). Pass DefaultPromptTag for an unbounded walk.
func (*ContinuationMarkSet) EqualTo ¶ added in v1.7.0
func (p *ContinuationMarkSet) EqualTo(o values.Value) bool
func (*ContinuationMarkSet) First ¶ added in v1.7.0
func (p *ContinuationMarkSet) First(key, defaultVal values.Value) values.Value
First returns the value for key from the nearest frame, or defaultVal if no frame contains the key. Uses eq? semantics (eqIdentity) for key comparison.
func (*ContinuationMarkSet) IsVoid ¶ added in v1.7.0
func (p *ContinuationMarkSet) IsVoid() bool
func (*ContinuationMarkSet) SchemeString ¶ added in v1.7.0
func (p *ContinuationMarkSet) SchemeString() string
func (*ContinuationMarkSet) ToList ¶ added in v1.7.0
func (p *ContinuationMarkSet) ToList(key values.Value) values.Tuple
ToList returns a list of values for key across all frames, nearest first. Returns the empty list if no frame contains the key. Uses eq? semantics (eqIdentity) for key comparison.
func (*ContinuationMarkSet) ToListStar ¶ added in v1.7.0
ToListStar returns a list of vectors for multiple keys across all frames. Each vector corresponds to a frame that has at least one of the requested keys. Vector positions correspond to the keys slice; noneVal fills missing keys. Uses eq? semantics (eqIdentity) for key comparison.
Racket §10.5: continuation-mark-set->list*
type Debugger ¶
type Debugger struct {
// contains filtered or unexported fields
}
Debugger manages breakpoints and stepping.
func (*Debugger) Breakpoints ¶
func (p *Debugger) Breakpoints() []*Breakpoint
Breakpoints returns all breakpoints.
func (*Debugger) CheckBreakpoint ¶
func (p *Debugger) CheckBreakpoint(mc *MachineContext) *Breakpoint
CheckBreakpoint checks if execution should break at current location.
func (*Debugger) DisableBreakpoint ¶
func (p *Debugger) DisableBreakpoint(id BreakpointID) bool
DisableBreakpoint disables a breakpoint.
func (*Debugger) EnableBreakpoint ¶
func (p *Debugger) EnableBreakpoint(id BreakpointID) bool
EnableBreakpoint enables a breakpoint.
func (*Debugger) IsStepping ¶
IsStepping returns whether the debugger is in stepping mode.
func (*Debugger) OnBreak ¶
func (p *Debugger) OnBreak(fn func(mc *MachineContext, bp *Breakpoint))
OnBreak sets the callback for when a breakpoint is hit.
func (*Debugger) RemoveBreakpoint ¶
func (p *Debugger) RemoveBreakpoint(id BreakpointID) bool
RemoveBreakpoint removes a breakpoint.
func (*Debugger) SetBreakpoint ¶
func (p *Debugger) SetBreakpoint(file string, line, column int) BreakpointID
SetBreakpoint adds a breakpoint at the given source location.
func (*Debugger) ShouldStep ¶
func (p *Debugger) ShouldStep(mc *MachineContext) bool
ShouldStep checks if we should break due to stepping.
func (*Debugger) StepOut ¶
func (p *Debugger) StepOut(mc *MachineContext)
StepOut enables step-out mode.
func (*Debugger) StepOver ¶
func (p *Debugger) StepOver(mc *MachineContext)
StepOver enables step-over mode.
func (*Debugger) TriggerBreak ¶
func (p *Debugger) TriggerBreak(mc *MachineContext, bp *Breakpoint)
TriggerBreak calls the break callback if set.
type DynamicWindFrame ¶
type DynamicWindFrame struct {
Before Closure // Called when entering this extent
After Closure // Called when exiting this extent
ID uint64 // Unique identifier for extent matching
}
DynamicWindFrame represents a single dynamic-wind extent. Each frame tracks the before/after thunks for one dynamic-wind call.
R7RS §6.10: dynamic-wind establishes a dynamic extent during which the before and after thunks are called whenever control enters or exits.
Continuation-wind interaction (Friedman & Haynes 1985, Clinger et al. 1999). The winding stack W is separate from continuation chain K.
W = [w₁, w₂, ...wₙ] where wᵢ = (before_i, after_i, id_i)
On continuation invocation from Wsrc to Wtgt:
prefix = FindCommonWindingPrefix(Wsrc, Wtgt)
UnwindTo(prefix): call after_n, after_{n-1}, ... (innermost first)
RewindTo(Wtgt): call before_{prefix+1}, ... (outermost first)
Invariant: W is captured by value at call/cc time (copied into
ComposableContinuation), NOT stored per continuation frame.
W belongs to the dynamic extent, not the lexical continuation.
Constrains: RestoreWithWindingFrom (must compute prefix and run
thunks in correct order), sub-contexts (must explicitly inherit W
via SetWindingStack or thunks are silently skipped).
Constrained by: CESK model (W is NOT part of K — it is orthogonal
state). PushWind/PopWind opcodes maintain W during normal execution.
See BIBLIOGRAPHY.md "Dynamic-Wind" and "Continuation-Wind Interaction".
func NewDynamicWindFrame ¶
func NewDynamicWindFrame(before, after Closure) *DynamicWindFrame
NewDynamicWindFrame creates a new winding frame with a unique ID.
type ERMacroTransformer ¶ added in v1.7.0
type ERMacroTransformer struct {
// contains filtered or unexported fields
}
ERMacroTransformer wraps a 3-arg MachineClosure to identify it as an explicit-renaming transformer in expandMacroInvocation. The defEnv captures the expand-time environment at the macro definition site, used by the rename closure to resolve definition-site bindings.
func NewERMacroTransformer ¶ added in v1.7.0
func NewERMacroTransformer(closure *MachineClosure, defEnv *environment.EnvironmentFrame) *ERMacroTransformer
func (*ERMacroTransformer) Closure ¶ added in v1.7.0
func (p *ERMacroTransformer) Closure() *MachineClosure
func (*ERMacroTransformer) DefEnv ¶ added in v1.7.0
func (p *ERMacroTransformer) DefEnv() *environment.EnvironmentFrame
func (*ERMacroTransformer) EqualTo ¶ added in v1.7.0
func (p *ERMacroTransformer) EqualTo(o values.Value) bool
func (*ERMacroTransformer) IsVoid ¶ added in v1.7.0
func (p *ERMacroTransformer) IsVoid() bool
func (*ERMacroTransformer) SchemeString ¶ added in v1.7.0
func (p *ERMacroTransformer) SchemeString() string
type EditPlan ¶ added in v1.5.0
type EditPlan struct {
// contains filtered or unexported fields
}
EditPlan collects non-overlapping bytecode edits for a NativeTemplate. Edits are applied in a single pass via Apply, which rewrites code, sourceRefs, and branch offsets, then garbage-collects unreferenced sideTable entries.
Apply remaps these Arg categories automatically:
- PC offsets: Branch, BranchOnFalseValue, SaveContinuation
- SideTable indices: Complex (unreferenced entries are GC'd)
These are stable across Apply and not touched:
- Literal pool indices: LoadLiteral, LoadGlobal, StoreGlobal, PushLiteral, PushGlobal
- Local indices: LoadLocal, StoreLocal, PushLocal
- Stack offsets: PeekK
func NewEditPlan ¶ added in v1.5.0
func NewEditPlan(tpl *NativeTemplate) *EditPlan
NewEditPlan creates a new edit plan for the given template.
func (*EditPlan) AddLiteral ¶ added in v1.5.0
AddLiteral adds a value to the template's literal pool, with deduplication. Returns the index suitable for use in Instruction.Arg fields that reference the literal pool (OpLoadLiteral, OpLoadGlobal, OpStoreGlobal).
func (*EditPlan) Apply ¶ added in v1.5.0
Apply rewrites the template according to all accumulated edits:
- Sorts and validates edits (panics on overlap)
- Builds a PC remap from old positions to new positions
- Fixes branch offsets for surviving original instructions
- Rebuilds code + sourceRefs, splicing in replacements
- Garbage-collects unreferenced sideTable entries, remaps OpComplex.Arg
Returns the net change in instruction count (negative means code shrunk).
type EmbedFileResolver ¶ added in v1.6.0
type EmbedFileResolver struct {
// contains filtered or unexported fields
}
EmbedFileResolver resolves files from an embedded filesystem (or any fs.FS). No path resolution or security checks — paths are looked up directly.
func NewEmbedFileResolver ¶ added in v1.6.0
func NewEmbedFileResolver(fsys fs.FS) *EmbedFileResolver
NewEmbedFileResolver creates a resolver backed by the given filesystem.
func (*EmbedFileResolver) ResolveAndOpen ¶ added in v1.6.0
type ErrExceptionEscape ¶
type ErrExceptionEscape struct {
Condition values.Value // The raised condition/object
Continuable bool // Whether handler can return
Continuation *MachineContinuation // Return point for continuable exceptions
Handled bool // Set true after handler processes it
WindingStack WindingStack // Winding stack at raise point (for proper unwinding)
Source *syntax.SourceContext // Source location where exception was raised
StackTrace StackTrace // VM stack trace at raise point
}
ErrExceptionEscape signals an exception being raised through the call stack. It is used by raise and raise-continuable to propagate exceptions to handlers.
func (*ErrExceptionEscape) Error ¶
func (p *ErrExceptionEscape) Error() string
Error implements the error interface.
When Source is present and the condition is a NativeError, produces clean human-readable output like "file:5:3: error: division by zero". For non-NativeError conditions with Source, produces "file:5:3: exception: foo". When no Source is set, falls back to the original format for backward compat.
func (*ErrExceptionEscape) Unwrap ¶ added in v1.3.0
func (p *ErrExceptionEscape) Unwrap() error
Unwrap returns the underlying error when the condition implements the error interface (e.g., *NativeError). This enables errors.Is/errors.As to traverse through ErrExceptionEscape into the wrapped error chain, supporting sentinel matching like errors.Is(err, werr.ErrDivisionByZero) from Go callers.
type ErrPromptAbort ¶
ErrPromptAbort signals an abort to the nearest continuation prompt matching the given tag. It propagates up through Run() and is caught by RunWithEscapeHandling() or by call-with-continuation-prompt sub-contexts.
When caught, the handler finds the matching prompt frame, unwinds dynamic-wind extents, and invokes the prompt's handler with the abort values.
func (*ErrPromptAbort) Error ¶
func (p *ErrPromptAbort) Error() string
type ExceptionHandler ¶
type ExceptionHandler struct {
// contains filtered or unexported fields
}
ExceptionHandler represents an installed exception handler. Handlers form a linked list (stack) for dynamic exception handling. When an exception is raised, handlers are invoked in reverse order of installation (most recent first).
func NewExceptionHandler ¶
func NewExceptionHandler(handler values.Callable, parent *ExceptionHandler) *ExceptionHandler
NewExceptionHandler creates a new exception handler with the given handler procedure and parent handler.
func (*ExceptionHandler) Handler ¶
func (p *ExceptionHandler) Handler() values.Callable
Handler returns the handler procedure.
func (*ExceptionHandler) Parent ¶
func (p *ExceptionHandler) Parent() *ExceptionHandler
Parent returns the previous handler in the chain.
type ExpanderContext ¶
type ExpanderContext struct {
// contains filtered or unexported fields
}
ExpanderContext provides access to the macro expander from within Scheme code during macro expansion. It is set on MachineContext when invoking macro transformers, enabling syntax-local-* primitives.
func NewExpanderContext ¶
func NewExpanderContext( env *environment.EnvironmentFrame, expander *ExpanderTimeContinuation, ) *ExpanderContext
NewExpanderContext creates a new ExpanderContext.
func (*ExpanderContext) Env ¶
func (p *ExpanderContext) Env() *environment.EnvironmentFrame
Env returns the environment frame associated with this context.
func (*ExpanderContext) Expand ¶
func (p *ExpanderContext) Expand(stx syntax.SyntaxValue) (syntax.SyntaxValue, error)
Expand fully expands a syntax object.
func (*ExpanderContext) ExpandOnce ¶
func (p *ExpanderContext) ExpandOnce(stx syntax.SyntaxValue) (syntax.SyntaxValue, bool, error)
ExpandOnce performs a single step of macro expansion. Returns (expanded-syntax, did-expand, error). If the input is a macro call, it expands it once and returns (result, true, nil). If the input is not a macro call, it returns (input, false, nil).
func (*ExpanderContext) IntroductionScope ¶
func (p *ExpanderContext) IntroductionScope() *syntax.Scope
IntroductionScope returns the introduction scope for the current macro expansion. This scope is added to identifiers introduced by a macro and can be flipped using syntax-local-introduce.
func (*ExpanderContext) SetIntroductionScope ¶
func (p *ExpanderContext) SetIntroductionScope(scope *syntax.Scope)
SetIntroductionScope sets the introduction scope for the current macro expansion.
func (*ExpanderContext) SetUseSiteScope ¶
func (p *ExpanderContext) SetUseSiteScope(scope *syntax.Scope)
SetUseSiteScope sets the use-site scope for binding forms.
func (*ExpanderContext) UseSiteScope ¶
func (p *ExpanderContext) UseSiteScope() *syntax.Scope
UseSiteScope returns the use-site scope for binding forms. This scope is used by syntax-local-identifier-as-binding to mark identifiers as binding sites.
type ExpanderTimeContinuation ¶
type ExpanderTimeContinuation struct {
// contains filtered or unexported fields
}
ExpanderTimeContinuation is a continuation used during the expansion phase.
It walks the syntax tree, detecting and expanding macro invocations. The env field provides access to macro definitions (BindingTypeSyntax bindings).
func NewExpanderTimeContinuation ¶
func NewExpanderTimeContinuation(ctx context.Context, env *environment.EnvironmentFrame) *ExpanderTimeContinuation
NewExpanderTimeContinuation creates a new ExpanderTimeContinuation.
func (*ExpanderTimeContinuation) Context ¶ added in v1.5.0
func (p *ExpanderTimeContinuation) Context() context.Context
Context returns the context associated with this expander continuation.
func (*ExpanderTimeContinuation) ExpandBodyWithDefineSyntax ¶
func (p *ExpanderTimeContinuation) ExpandBodyWithDefineSyntax( forms []syntax.SyntaxValue, ) ([]syntax.SyntaxValue, error)
ExpandBodyWithDefineSyntax expands a sequence of body forms, compiling define-syntax forms as encountered so subsequent forms can use the macros.
This unifies the expansion pattern used by: - Lambda bodies (internal define-syntax) - Library bodies (top-level define-syntax) - Include files (top-level define-syntax)
R7RS §5.3: Internal define-syntax forms must be processed before expanding subsequent body expressions so that locally-defined macros are visible.
R7RS §5.3.2: Bodies use letrec* semantics where all defined names are visible to all initializers. This enables forward references within macros - a macro can reference a definition that appears later in the same body.
func (*ExpanderTimeContinuation) ExpandExpression ¶
func (p *ExpanderTimeContinuation) ExpandExpression(expr syntax.SyntaxValue) (syntax.SyntaxValue, error)
ExpandExpression expands a syntax expression.
func (*ExpanderTimeContinuation) ExpandOnce ¶
func (p *ExpanderTimeContinuation) ExpandOnce(expr syntax.SyntaxValue) (syntax.SyntaxValue, bool, error)
ExpandOnce performs a single step of macro expansion. Returns (expanded-syntax, did-expand, error). If the input is a macro call, it expands it once and returns (result, true, nil). If the input is not a macro call, it returns (input, false, nil). Unlike ExpandExpression, this does NOT recursively expand the result.
func (*ExpanderTimeContinuation) ExpandPrimitiveForm ¶
func (p *ExpanderTimeContinuation) ExpandPrimitiveForm(primName string, sym *syntax.SyntaxSymbol, expr syntax.SyntaxValue) (syntax.SyntaxValue, error)
ExpandPrimitiveForm handles expansion within primitive forms like if, begin, lambda, define, etc. Some primitives need their subexpressions expanded (like if, begin) while others should be left unchanged (like quote, define-syntax).
This function looks up the primitive expander in the expand environment registry. If found, it invokes the expander; otherwise returns the form unchanged.
func (*ExpanderTimeContinuation) ExpandQuasiquote ¶
func (p *ExpanderTimeContinuation) ExpandQuasiquote(_ syntax.SyntaxValue) (syntax.SyntaxValue, error)
ExpandQuasiquote handles the expansion of quasiquoted expressions.
func (*ExpanderTimeContinuation) ExpandQuote ¶
func (p *ExpanderTimeContinuation) ExpandQuote(_ syntax.SyntaxValue) (syntax.SyntaxValue, error)
ExpandQuote handles the expansion of quoted expressions.
func (*ExpanderTimeContinuation) ExpandSelfEvaluating ¶
func (p *ExpanderTimeContinuation) ExpandSelfEvaluating(expr syntax.SyntaxValue) (syntax.SyntaxValue, error)
ExpandSelfEvaluating handles self-evaluating expressions.
func (*ExpanderTimeContinuation) ExpandSymbol ¶
func (p *ExpanderTimeContinuation) ExpandSymbol(expr *syntax.SyntaxSymbol) (syntax.SyntaxValue, error)
ExpandSymbol handles a symbol expression.
func (*ExpanderTimeContinuation) ExpandSyntaxArgumentList ¶
func (p *ExpanderTimeContinuation) ExpandSyntaxArgumentList(args syntax.SyntaxValue) (syntax.SyntaxValue, error)
ExpandSyntaxArgumentList expands each argument in the argument list. It returns a new syntax list with the expanded arguments.
func (*ExpanderTimeContinuation) ExpandSyntaxExpression ¶
func (p *ExpanderTimeContinuation) ExpandSyntaxExpression(sym *syntax.SyntaxSymbol, expr syntax.SyntaxValue) (syntax.SyntaxValue, error)
ExpandSyntaxExpression checks if sym is a macro and expands it, or returns the expression as a procedure call if not.
This is where macro invocation happens:
- Look up the symbol in the expand environment
- If bound with BindingTypeSyntax, it's a macro - invoke the transformer
- If it's a primitive (like quote, if, define-syntax), don't expand args
- Otherwise, treat as procedure call and expand arguments
The transformer closure (MachineClosure from CompileSyntaxRules) is invoked by creating a MachineContext and running it. The transformer:
- Receives the full macro invocation form on the eval stack
- Pattern matches against its clauses (OperationSyntaxRulesTransform)
- Expands the matching template with captured bindings
- Adds an intro scope to the expansion for hygiene
- Returns the expanded syntax in the value register
The expanded result may itself contain macro invocations, so the caller should recursively expand it.
func (*ExpanderTimeContinuation) ExpandSyntaxOrProcedureCall ¶
func (p *ExpanderTimeContinuation) ExpandSyntaxOrProcedureCall(car syntax.SyntaxValue, cdr syntax.SyntaxValue) (syntax.SyntaxValue, error)
ExpandSyntaxOrProcedureCall handles a list expression. The car may be a symbol (possibly a macro), a nested pair (computed procedure), or a self-evaluating value (like in quoted data or malformed expressions).
type FSFileResolver ¶ added in v1.7.1
type FSFileResolver struct {
// contains filtered or unexported fields
}
FSFileResolver resolves files from a virtual filesystem (fs.FS). Used when an embedder provides WithSourceFS. All paths are relative to the FS root. Absolute paths are rejected.
Resolution priority:
- Relative to current load directory (from LoadPathStack)
- Library registry search paths
- Relative to FS root (path as-is)
func NewFSFileResolver ¶ added in v1.7.1
func NewFSFileResolver(fsys fs.FS, env *environment.EnvironmentFrame) *FSFileResolver
NewFSFileResolver creates a resolver backed by the given filesystem. Panics if fsys is nil.
func (*FSFileResolver) EnumerateLibraries ¶ added in v1.10.3
func (p *FSFileResolver) EnumerateLibraries() ([]LibraryName, error)
EnumerateLibraries walks the virtual filesystem to discover all libraries. It uses the same search paths as resolution: library registry paths first, then the FS root as fallback. Hidden directories (starting with ".") are skipped. Files with .sld or .scm extensions are converted to library names via FilePathToLibraryName. Duplicate library names (same key from different paths or extensions) are deduplicated, with earlier discovery winning.
Best-effort: non-existent directories are skipped gracefully, and unreadable subdirectories are skipped without failing the whole walk. Only the security authorizer can exclude individual files.
func (*FSFileResolver) ResolveAndOpen ¶ added in v1.7.1
type FeatureRequirement ¶
type FeatureRequirement interface {
// IsSatisfied returns true if this requirement is satisfied.
// The registry parameter is used to check library availability.
IsSatisfied(registry *LibraryRegistry) bool
}
FeatureRequirement represents a parsed cond-expand feature requirement. Feature requirements can be:
- A symbol (feature identifier)
- (library <library-name>) - check if library is available
- (and <req> ...) - all requirements must be satisfied
- (or <req> ...) - at least one requirement must be satisfied
- (not <req>) - requirement must NOT be satisfied
func NewAndRequirement ¶
func NewAndRequirement(reqs ...FeatureRequirement) FeatureRequirement
NewAndRequirement creates an and requirement.
func NewElseRequirement ¶
func NewElseRequirement() FeatureRequirement
NewElseRequirement creates an else requirement (always satisfied).
func NewFeatureIdentifier ¶
func NewFeatureIdentifier(name string) FeatureRequirement
NewFeatureIdentifier creates a feature identifier requirement.
func NewLibraryRequirement ¶
func NewLibraryRequirement(name LibraryName) FeatureRequirement
NewLibraryRequirement creates a library requirement.
func NewNotRequirement ¶
func NewNotRequirement(req FeatureRequirement) FeatureRequirement
NewNotRequirement creates a not requirement.
func NewOrRequirement ¶
func NewOrRequirement(reqs ...FeatureRequirement) FeatureRequirement
NewOrRequirement creates an or requirement.
type FileResolver ¶ added in v1.6.0
type FileResolver interface {
// ResolveAndOpen finds a file by name and returns an open handle plus
// the resolved path (used for load-path-stack tracking and error messages).
ResolveAndOpen(ctx context.Context, path string) (fs.File, string, error)
}
FileResolver resolves and opens files for include/load operations. Implementations control where files are found: the OS filesystem, an embedded filesystem, or any other fs.FS.
type ForeignClosure ¶ added in v1.5.0
type ForeignClosure struct {
// contains filtered or unexported fields
}
ForeignClosure wraps a Go function as a directly-callable Scheme procedure. Unlike MachineClosure, it holds the ForeignFunction directly and bypasses the bytecode VM — no template, no opcodes, no VM loop iteration.
func NewERCompareClosure ¶ added in v1.7.0
func NewERCompareClosure(useEnv *environment.EnvironmentFrame) *ForeignClosure
NewERCompareClosure creates the `compare` closure for an ER macro invocation. useEnv is the use-site environment for resolving identifiers. The closure accepts two identifier arguments and returns #t if both resolve to the same binding (pointer equality) or both are unbound with the same name.
func NewERRenameClosure ¶ added in v1.7.0
func NewERRenameClosure( defExpandEnv *environment.EnvironmentFrame, introScope *syntax.Scope, ) *ForeignClosure
NewERRenameClosure creates the `rename` closure for an ER macro invocation. defExpandEnv is the definition-site expand environment. introScope is a fresh scope unique to this macro invocation, used to ensure that renamed symbols not found in the definition-site env (e.g., temporary names like 'tmp') get a unique identity that prevents variable capture. The returned closure accepts a single symbol argument and returns a SyntaxSymbol that resolves to the definition-site binding. Results are cached per symbol name so that (eq? (rename 'x) (rename 'x)) is #t.
func NewForeignClosure ¶
func NewForeignClosure(env *environment.EnvironmentFrame, pcnt int, variadic bool, fn ForeignFunction) *ForeignClosure
func (*ForeignClosure) AcceptsArity ¶ added in v1.5.0
func (p *ForeignClosure) AcceptsArity(n int) bool
AcceptsArity reports whether this closure can be called with n arguments.
func (*ForeignClosure) Doc ¶ added in v1.10.3
func (p *ForeignClosure) Doc() string
func (*ForeignClosure) Env ¶ added in v1.5.0
func (p *ForeignClosure) Env() *environment.EnvironmentFrame
func (*ForeignClosure) EqualTo ¶ added in v1.5.0
func (p *ForeignClosure) EqualTo(o values.Value) bool
EqualTo uses identity semantics — two foreign closures are equal only if they are the same pointer.
func (*ForeignClosure) Fn ¶ added in v1.5.0
func (p *ForeignClosure) Fn() ForeignFunction
func (*ForeignClosure) IsVariadic ¶ added in v1.5.0
func (p *ForeignClosure) IsVariadic() bool
func (*ForeignClosure) IsVoid ¶ added in v1.5.0
func (p *ForeignClosure) IsVoid() bool
func (*ForeignClosure) Name ¶ added in v1.5.0
func (p *ForeignClosure) Name() string
func (*ForeignClosure) ParameterCount ¶ added in v1.5.0
func (p *ForeignClosure) ParameterCount() int
func (*ForeignClosure) SchemeString ¶ added in v1.5.0
func (p *ForeignClosure) SchemeString() string
func (*ForeignClosure) SetDoc ¶ added in v1.10.3
func (p *ForeignClosure) SetDoc(doc string)
func (*ForeignClosure) SetName ¶ added in v1.5.0
func (p *ForeignClosure) SetName(name string)
func (*ForeignClosure) SetValidator ¶ added in v1.10.3
func (p *ForeignClosure) SetValidator(v ForeignFunction)
SetValidator installs a contract validation function that runs before the implementation. Called during registration when contract enforcement is enabled.
func (*ForeignClosure) Validator ¶ added in v1.10.3
func (p *ForeignClosure) Validator() ForeignFunction
Validator returns the installed contract validator, or nil if none.
type ForeignFunction ¶
type ForeignFunction func(mc *MachineContext) error
ForeignFunction is the signature for Go-implemented Scheme primitives. The MachineContext provides access to arguments, the value register, and the cancellation context (via mc.Context()).
type FreeIdResolution ¶
type FreeIdResolution struct {
// Global is set if the free identifier refers to a global binding.
// This enables cross-library macro hygiene by pre-resolving the binding.
Global *environment.GlobalIndex
// LocalScopes is set if the free identifier refers to a local binding.
// These are the scopes of the binding at macro definition time.
// During expansion, the free identifier gets these scopes, ensuring
// it resolves to the definition-time binding (not a shadowing binding).
LocalScopes []*syntax.Scope
// HasLocalBinding is true if a local binding was found at macro definition time,
// even if the binding has no scopes. This distinguishes "local binding with empty
// scopes" from "no binding at all" - the former should NOT get intro scope added
// during expansion, while the latter might (for special forms).
HasLocalBinding bool
// LibScope is the library scope associated with this free identifier's binding.
// When non-nil, applyHygieneToSymbol adds this scope to the identifier
// instead of using WithResolvedBinding. This enables scope-based cross-library
// lookup via the TLE's scope registry.
LibScope *syntax.Scope
}
FreeIdResolution stores the resolution info for a free identifier in a macro template. Free identifiers can be resolved to either global bindings (via GlobalIndex) or local bindings (via their scope set at macro definition time).
This type implements the localScopesProvider, globalBindingProvider, and hasLocalBindingProvider interfaces used by the match package's expansion functions to handle hygiene without circular imports.
func (*FreeIdResolution) GetGlobal ¶
func (p *FreeIdResolution) GetGlobal() *environment.GlobalIndex
GetGlobal returns the global binding's index, or nil if this is a local binding. Implements the globalBindingProvider interface for match package hygiene.
func (*FreeIdResolution) GetHasLocalBinding ¶
func (p *FreeIdResolution) GetHasLocalBinding() bool
GetHasLocalBinding returns true if a local binding was found at macro definition time. This is used to distinguish "local binding with empty scopes" from "no binding at all". Implements the hasLocalBindingProvider interface.
func (*FreeIdResolution) GetLibraryScope ¶ added in v1.6.0
func (p *FreeIdResolution) GetLibraryScope() *syntax.Scope
GetLibraryScope returns the library scope associated with this free identifier, or nil if the containing macro was not compiled inside a library. Implements the libraryScopeProvider interface for match package hygiene.
func (*FreeIdResolution) GetLocalScopes ¶
func (p *FreeIdResolution) GetLocalScopes() []*syntax.Scope
GetLocalScopes returns the local binding's scopes, or nil if this is a global binding. Implements the localScopesProvider interface for match package hygiene.
type FreeList ¶ added in v1.9.1
type FreeList[T any] struct { // contains filtered or unexported fields }
FreeList[T] is a type-safe, observable object pool backed by a mutex-guarded slice instead of sync.Pool. Unlike sync.Pool, the freelist is NOT cleared by the garbage collector, so recycled objects (and any capacity they retain) persist across GC cycles.
Use FreeList when the GC feedback loop makes sync.Pool ineffective: high allocation rates trigger frequent GC, which clears sync.Pool, causing more allocations. FreeList breaks this loop at the cost of no automatic shrinkage.
func NewFreeList ¶ added in v1.9.1
NewFreeList creates a FreeList[T] with the given name, constructor, and reset function. The freelist starts enabled.
func (*FreeList[T]) Acquire ¶ added in v1.9.1
func (p *FreeList[T]) Acquire() *T
Acquire returns a recycled object from the freelist. If the freelist is empty or disabled, it calls newFn to allocate a new object.
func (*FreeList[T]) Drain ¶ added in v1.9.1
func (p *FreeList[T]) Drain()
Drain clears all cached objects from the freelist.
func (*FreeList[T]) Release ¶ added in v1.9.1
func (p *FreeList[T]) Release(v *T)
Release resets the object and appends it to the freelist. If disabled, the object is discarded after reset.
func (*FreeList[T]) SetEnabled ¶ added in v1.9.1
SetEnabled toggles the freelist on or off. When disabled, Acquire calls newFn directly and Release discards after reset.
func (*FreeList[T]) Stats ¶ added in v1.9.1
func (p *FreeList[T]) Stats() PoolSnapshot
Stats returns a point-in-time snapshot of the freelist's counters.
type ImportSet ¶
type ImportSet struct {
LibraryName LibraryName // Base library to import from
Only map[string]struct{} // If non-nil, only import these names
Except map[string]struct{} // If non-nil, import all except these
Prefix string // If non-empty, add this prefix to all names
Renames map[string]string // old-name -> new-name
PhaseShift int // Phase offset: 0=runtime, 1=for-syntax, -1=for-template
}
ImportSet represents a parsed import specification. It can be a simple library reference or include modifiers.
PhaseShift supports Racket-style phased imports:
- (import (scheme base)) ; Phase 0 (runtime) - default
- (import (for-syntax (scheme base))) ; Phase +1 (expand)
- (import (for-template (scheme base))) ; Phase -1
- (import (for-meta 2 (scheme base))) ; Phase +2
- (import (for-meta -1 (scheme base))) ; Phase -1 (same as for-template)
Phase shifts compose additively: (for-syntax (for-syntax lib)) = phase +2
func NewImportSet ¶
func NewImportSet(name LibraryName) *ImportSet
NewImportSet creates a new import set for a library.
func ParseImportSetFromDatum ¶
ParseImportSetFromDatum parses an import set from datum values. Used at both runtime (by the 'environment' procedure) and compile time (via UnwrapAll on syntax objects).
Import sets can be:
- (<library-name>) : import all exports
- (only <import-set> <id> ...) : import only specified identifiers
- (except <import-set> <id> ...): import all except specified
- (prefix <import-set> <prefix>): add prefix to all imported names
- (rename <import-set> (<old> <new>) ...): rename specific imports
- (for-syntax <import-set>) : import at phase +1 (macro expansion)
- (for-template <import-set>) : import at phase -1
- (for-meta <n> <import-set>) : import at phase +n
func (*ImportSet) ApplyToExports ¶
func (p *ImportSet) ApplyToExports(lib *CompiledLibrary) (map[string]string, error)
ApplyToExports applies the import modifiers and returns the final bindings. Returns a map of local-name -> external-name (the name in the library).
type InlinedOperation ¶ added in v1.4.0
type InlinedOperation interface {
Operation
Apply(mc *MachineContext) (*MachineContext, error)
}
InlinedOperation is the interface for operations dispatched through the side table via OpComplex. These operations carry their own Apply method because the Run() loop delegates to them rather than inlining the logic.
type Instruction ¶ added in v1.4.0
Instruction is a single VM instruction for the switch-dispatch loop. Op selects the operation; Arg carries an immediate operand whose meaning depends on Op:
- Zero-operand ops (Push, Pop, ...): Arg is unused (0).
- Single-operand ops (Branch, LoadLiteral, ...): Arg is the offset, index, or depth.
- Two-operand ops (LoadLocal, StoreLocal): Arg is bit-packed (slot in low 16, depth in high 16).
- OpComplex: Arg is the index into the template's sideTable.
Size: 8 bytes (uint16 Op + 2 bytes padding + int32 Arg).
func (Instruction) String ¶ added in v1.4.0
func (instr Instruction) String() string
String returns a human-readable representation of the instruction.
type LibraryEnumerator ¶ added in v1.10.3
type LibraryEnumerator interface {
EnumerateLibraries() ([]LibraryName, error)
}
LibraryEnumerator is an optional interface that FileResolvers can implement to support library discovery. Enumeration is the inverse of resolution: same directories, same priority, but walking files instead of looking up a specific name.
type LibraryImportEvent ¶ added in v1.5.0
type LibraryImportEvent struct {
Library LibraryName // imported library name, e.g., (scheme base)
SourceFile string // path to .sld file (empty for synthetic libraries)
Exports []string // all names exported by the library
Imported []string // names that actually landed in the importer (after only/except/prefix/rename)
Importer LibraryName // importing library name (zero value for top-level import)
Phase int // pipeline phase: environment.PhaseExpand or environment.PhaseCompile
}
LibraryImportEvent records what happened when a library was imported.
type LibraryImportObserver ¶ added in v1.5.0
type LibraryImportObserver func(LibraryImportEvent)
LibraryImportObserver is called when a library is imported. Observers are read-only — they cannot influence the import.
type LibraryName ¶
type LibraryName struct {
Parts []string // e.g., ["scheme", "base"]
}
LibraryName represents an R7RS library name like (scheme base) or (my lib). Library names are lists of identifiers used to uniquely identify a library.
func DiscoverAvailableLibraries ¶ added in v1.10.3
func DiscoverAvailableLibraries(resolver FileResolver, reg *LibraryRegistry) ([]LibraryName, error)
DiscoverAvailableLibraries returns all importable library names by combining filesystem discovery (via the resolver's LibraryEnumerator) with registry-known libraries (synthetic extension libraries). Returns a sorted, deduplicated list.
If the resolver does not implement LibraryEnumerator, only registry libraries are returned. If reg is nil, only filesystem libraries are returned.
func FilePathToLibraryName ¶ added in v1.10.3
func FilePathToLibraryName(path string) (LibraryName, error)
FilePathToLibraryName converts a forward-slash-separated file path with .sld or .scm extension to a LibraryName. This is the inverse of ToFSPath(). Returns an error if the path has no recognized extension or is empty.
func NewLibraryName ¶
func NewLibraryName(parts ...string) LibraryName
NewLibraryName creates a LibraryName from a list of string parts.
func ParseLibraryNameFromDatum ¶
ParseLibraryNameFromDatum extracts a LibraryName from a datum list like (scheme base). Used at both runtime (by the 'environment' procedure) and compile time (via UnwrapAll on syntax objects).
func (LibraryName) Key ¶
func (p LibraryName) Key() string
Key returns a unique string key for map lookups.
func (LibraryName) SchemeString ¶
func (p LibraryName) SchemeString() string
SchemeString returns the Scheme representation like "(scheme base)".
func (LibraryName) String ¶
func (p LibraryName) String() string
String returns a human-readable representation like "scheme/base".
func (LibraryName) ToFSPath ¶ added in v1.7.1
func (p LibraryName) ToFSPath() string
ToFSPath returns the library name as a forward-slash-separated path with .sld extension. Unlike ToFilePath, this always uses "/" as separator, suitable for fs.FS and FileResolver operations.
func (LibraryName) ToFilePath ¶
func (p LibraryName) ToFilePath() string
ToFilePath converts a library name to a file path. (scheme base) -> "scheme/base.sld"
func (LibraryName) ToSchemeValue ¶ added in v1.10.3
func (p LibraryName) ToSchemeValue() values.Value
ToSchemeValue converts a LibraryName to a Scheme list. Parts that parse as nonnegative integers become exact integers; all others become symbols. Matches R7RS library name syntax.
type LibraryRegistry ¶
type LibraryRegistry struct {
// contains filtered or unexported fields
}
LibraryRegistry manages loaded libraries and handles library loading.
func NewLibraryRegistry ¶
func NewLibraryRegistry() *LibraryRegistry
NewLibraryRegistry creates a new library registry with default search paths.
func (*LibraryRegistry) All ¶ added in v1.10.3
func (p *LibraryRegistry) All() []*CompiledLibrary
All returns all loaded libraries, sorted by name key for determinism.
func (*LibraryRegistry) AllNames ¶ added in v1.10.3
func (p *LibraryRegistry) AllNames() []LibraryName
AllNames returns the names of all registered libraries, sorted by key.
func (*LibraryRegistry) FindLibraryFile ¶
func (p *LibraryRegistry) FindLibraryFile(name LibraryName) (string, error)
FindLibraryFile searches for a library file in the search paths. Returns the full path to the file, or an error if not found.
func (*LibraryRegistry) FinishLoading ¶
func (p *LibraryRegistry) FinishLoading(name LibraryName)
FinishLoading marks a library as finished loading.
func (*LibraryRegistry) GetSearchPaths ¶
func (p *LibraryRegistry) GetSearchPaths() []string
GetSearchPaths returns the current library search paths.
func (*LibraryRegistry) ImportObserver ¶ added in v1.5.0
func (p *LibraryRegistry) ImportObserver() LibraryImportObserver
ImportObserver returns the current import observer, or nil.
func (*LibraryRegistry) IsLoading ¶
func (p *LibraryRegistry) IsLoading(name LibraryName) bool
IsLoading returns true if the library is currently being loaded. Used to detect circular dependencies.
func (*LibraryRegistry) Lookup ¶
func (p *LibraryRegistry) Lookup(name LibraryName) *CompiledLibrary
Lookup returns a library by name, or nil if not found.
func (*LibraryRegistry) PrependSearchPath ¶ added in v1.5.0
func (p *LibraryRegistry) PrependSearchPath(path string)
PrependSearchPath adds a path to the beginning of the search path list.
func (*LibraryRegistry) Register ¶
func (p *LibraryRegistry) Register(lib *CompiledLibrary) error
Register adds a compiled library to the registry.
func (*LibraryRegistry) SetImportObserver ¶ added in v1.5.0
func (p *LibraryRegistry) SetImportObserver(obs LibraryImportObserver)
SetImportObserver sets an optional observer that is called each time a library is imported. The observer is read-only and cannot influence the import. Pass nil to remove the observer.
func (*LibraryRegistry) SetSearchPaths ¶
func (p *LibraryRegistry) SetSearchPaths(paths []string)
SetSearchPaths sets the library search paths.
func (*LibraryRegistry) StartLoading ¶
func (p *LibraryRegistry) StartLoading(name LibraryName)
StartLoading marks a library as being loaded.
type LiteralIndex ¶
type LiteralIndex int
type MachineClosure ¶
type MachineClosure struct {
// contains filtered or unexported fields
}
Linked closure (Church 1936, Landin 1964, Cardelli 1983). A closure is a pair of compiled code and the lexical environment at definition time.
closure = ⟨λ, E⟩, where: λ = template — compiled bytecode (NativeTemplate) E = env — pointer to enclosing EnvironmentFrame Access cost: O(1) creation (capture pointer), O(depth) free variable lookup (traverse parent chain). Flat closures invert this trade-off. Invariant: E is a live pointer into the frame chain, not a copy. Mutations via set! are visible through the closure because the closure shares the frame, not a snapshot. Constrains: OperationMakeClosure (must link E to runtime parent), Apply (always copies E to prevent aliasing and thread races). Constrained by: de Bruijn addressing (free vars addressed by slot,depth in E's chain), CESK model (E is the environment component).
See BIBLIOGRAPHY.md "Linked Closure Representation".
func CompileSyntaxRules ¶
func CompileSyntaxRules(ctx context.Context, env *environment.EnvironmentFrame, syntaxRulesForm syntax.SyntaxValue, libraryScope *syntax.Scope) (*MachineClosure, error)
CompileSyntaxRules compiles a syntax-rules form into a transformer procedure.
R7RS Forms:
(syntax-rules (literal ...) (pattern template) ...) (syntax-rules <ellipsis> (literal ...) (pattern template) ...) ; custom ellipsis
The compilation process:
- Parse optional custom ellipsis identifier
- Parse the literals list - these symbols are matched literally, not as variables
- For each clause, identify pattern variables (symbols not in literals list)
- Compile each pattern to bytecode (see match/syntax_compiler.go)
- Create a MachineClosure that, when invoked: - Tries each pattern in order against the input form - On first match, expands the template with captured bindings - Adds an "intro scope" to the expansion for hygiene
The returned closure is stored in the environment with BindingTypeSyntax, allowing the expander to recognize it as a macro transformer.
func NewClosureWithTemplate ¶
func NewClosureWithTemplate(tpl *NativeTemplate, env *environment.EnvironmentFrame) *MachineClosure
func NewVMForeignClosure ¶ added in v1.5.0
func NewVMForeignClosure(env *environment.EnvironmentFrame, pcnt int, variadic bool, fn ForeignFunction) *MachineClosure
NewVMForeignClosure creates a *MachineClosure backed by a ForeignFunction via a bytecode template (OpForeignFunctionCall + OpRestoreContinuation). Use this instead of NewForeignClosure for foreign functions that do nested VM execution (sub-context + Run), where the iterative VM loop prevents Go stack growth that applyForeign would cause.
func (*MachineClosure) AcceptsArity ¶ added in v1.5.0
func (p *MachineClosure) AcceptsArity(n int) bool
AcceptsArity reports whether this closure can be called with n arguments. Fixed-arity closures require exactly paramCount args; variadic closures require at least paramCount-1 (the rest parameter collects the remainder).
func (*MachineClosure) Copy ¶
func (p *MachineClosure) Copy() *MachineClosure
func (*MachineClosure) Env ¶ added in v1.5.0
func (p *MachineClosure) Env() *environment.EnvironmentFrame
Env returns the closure's captured environment.
func (*MachineClosure) IsVoid ¶
func (p *MachineClosure) IsVoid() bool
func (*MachineClosure) SchemeString ¶
func (p *MachineClosure) SchemeString() string
func (*MachineClosure) Template ¶
func (p *MachineClosure) Template() *NativeTemplate
type MachineContext ¶
type MachineContext struct {
// contains filtered or unexported fields
}
MachineContext represents the execution context of a virtual machine. It holds the current environment, values, evaluation stack, continuation, and program counter. It is created from a MachineContinuation and can be modified during execution.
func AcquireTopLevelContext ¶ added in v1.5.0
func AcquireTopLevelContext(ctx context.Context, tpl *NativeTemplate, env *environment.EnvironmentFrame) *MachineContext
AcquireTopLevelContext returns a pooled MachineContext initialized for top-level execution (no parent continuation). This eliminates the intermediate MachineContinuation allocation that NewMachineContinuation + NewMachineContext would otherwise perform when parent is nil.
The caller MUST call ReleaseTopLevelContext after Run returns.
func NewMachineContext ¶
func NewMachineContext(ctx context.Context, cont *MachineContinuation) *MachineContext
NewMachineContext creates a new machine context with the given context and continuation. The context enables cancellation/timeout support in the VM loop. For callers that don't need cancellation, pass context.Background().
func NewMachineContextFromMachineClosure ¶
func NewMachineContextFromMachineClosure(ctx context.Context, cls *MachineClosure) *MachineContext
func NewThreadSubContext ¶ added in v1.3.0
func NewThreadSubContext(params SubContextParams, thread *values.Thread) *MachineContext
NewThreadSubContext creates a sub-context for a thread using previously captured parent state. Unlike NewSubContext, this doesn't access the parent MachineContext fields, making it safe to call from a different goroutine. The thread parameter should be the new thread object, which provides the thread identity for the new context.
This function is specifically designed for SRFI-18 thread creation. For other uses of sub-contexts (like map, for-each, dynamic-wind), use NewSubContext instead.
func (*MachineContext) Apply ¶
func (p *MachineContext) Apply(mcls *MachineClosure, vs ...values.Value) (*MachineContext, error)
func (*MachineContext) ApplyCallable ¶ added in v1.2.0
func (p *MachineContext) ApplyCallable(callable values.Value, args ...values.Value) (*MachineContext, error)
ApplyCallable dispatches a procedure call to the appropriate handler based on the callee's concrete type. This is the unified entry point for all Scheme procedure application, symmetric with OperationApply.
Supported callable types:
- *MachineClosure: standard Scheme lambda
- *ForeignClosure: Go foreign function (direct call, no bytecode)
- *CaseLambdaClosure: R7RS case-lambda (§4.2.9)
- *Parameter: R7RS parameter object (§4.2.6)
- *ComposableContinuation: delimited continuation
Precondition: p.ctx must be set (always true for contexts created via NewMachineContext or NewSubContext).
func (*MachineContext) ApplyCaseLambda ¶
func (p *MachineContext) ApplyCaseLambda(clcls *CaseLambdaClosure, vs ...values.Value) (*MachineContext, error)
ApplyCaseLambda applies a case-lambda closure by finding the matching clause.
func (*MachineContext) Authorizer ¶ added in v1.7.0
func (p *MachineContext) Authorizer() security.Authorizer
Authorizer returns the security authorizer from this context's namespace, or nil if none is set.
func (*MachineContext) BarrierValid ¶ added in v1.4.0
func (p *MachineContext) BarrierValid() *BarrierToken
BarrierValid returns the barrier validity flag for the current context. Non-nil means execution is inside a with-continuation-barrier; the pointer identity distinguishes which barrier. Nil means no active barrier.
Escape closures and composable continuations use this to detect barrier crossings: if the capture-time pointer differs from the invocation-time pointer, the continuation would cross a barrier boundary.
func (*MachineContext) CallDepth ¶
func (p *MachineContext) CallDepth() int
CallDepth returns the depth of the current continuation stack.
func (*MachineContext) CaptureStackTrace ¶
func (p *MachineContext) CaptureStackTrace(maxDepth int) StackTrace
CaptureStackTrace walks the continuation chain and builds a stack trace.
func (*MachineContext) CaptureSubContextParams ¶ added in v1.3.0
func (p *MachineContext) CaptureSubContextParams() SubContextParams
CaptureSubContextParams extracts the state needed to create a sub-context in a different goroutine. This is used by thread creation to avoid race conditions when accessing the parent MachineContext from a child goroutine (T4 from architectural review).
Call this in the parent goroutine before creating the child goroutine, then pass the result to NewThreadSubContext in the child goroutine.
func (*MachineContext) CollectContinuationMarks ¶ added in v1.7.0
func (p *MachineContext) CollectContinuationMarks(tag *PromptTag) *ContinuationMarkSet
CollectContinuationMarks walks the continuation chain and builds a ContinuationMarkSet snapshot. Collects marks from the current frame and all continuation frames up to and including the nearest frame with a matching promptTag.
func (*MachineContext) Context ¶
func (p *MachineContext) Context() context.Context
Context returns the context for this machine context.
func (*MachineContext) Counters ¶ added in v1.1.0
func (p *MachineContext) Counters() VMCounters
Counters returns a snapshot of the performance counters for this context.
func (*MachineContext) CurrentContinuation ¶
func (p *MachineContext) CurrentContinuation() *MachineContinuation
func (*MachineContext) CurrentSource ¶
func (p *MachineContext) CurrentSource() *syntax.SourceContext
CurrentSource returns the source location for the current execution point. When the current template has no source (e.g., inside a foreign function), walks up the continuation chain to find the nearest call site with source info. Continuation PCs are return addresses (one past the call), so pc-1 gives the call site.
func (*MachineContext) Debugger ¶
func (p *MachineContext) Debugger() *Debugger
Debugger returns the attached debugger, or nil if none.
func (*MachineContext) DeleteMark ¶ added in v1.7.0
func (p *MachineContext) DeleteMark(key values.Value)
DeleteMark removes the continuation mark for key from the current frame. Nils the slice when empty to maintain the "nil = zero-cost" invariant. Uses eq? semantics for key comparison. Deletion uses swap-with-last for O(1) removal; insertion order is not preserved.
func (*MachineContext) EnvironmentFrame ¶
func (p *MachineContext) EnvironmentFrame() *environment.EnvironmentFrame
func (*MachineContext) Error ¶
func (p *MachineContext) Error(msg string) *SchemeError
Error creates a SchemeError with the current source location and stack trace.
func (*MachineContext) EscapeCont ¶
func (p *MachineContext) EscapeCont() *MachineContinuation
EscapeCont returns the escape continuation for this context. This is set by foreign functions (like dynamic-wind) that need call/cc inside their sub-contexts to know where to continue after completion.
func (*MachineContext) ExceptionHandler ¶
func (p *MachineContext) ExceptionHandler() *ExceptionHandler
ExceptionHandler returns the current exception handler chain.
func (*MachineContext) ExpanderContext ¶
func (p *MachineContext) ExpanderContext() *ExpanderContext
ExpanderContext returns the expander context, or nil if not in expansion context.
func (*MachineContext) FindPrompt ¶
func (p *MachineContext) FindPrompt(tag *PromptTag) (*MachineContinuation, bool)
FindPrompt walks the continuation chain to find the nearest frame with a matching prompt tag. Also checks the context's own prompt tag (set by call-with-continuation-prompt on sub-contexts). Returns the matching frame and true, or nil and false.
When the prompt is on the context itself (not a continuation frame), returns nil and true — the caller should treat this as "prompt at the boundary of this sub-context" and slice the entire continuation chain.
func (*MachineContext) GetImmediateMark ¶ added in v1.7.0
func (p *MachineContext) GetImmediateMark(key values.Value) values.Value
GetImmediateMark returns the nearest mark for key, checking the current frame first, then the immediately saved continuation frame.
This is the correct lookup for call-with-immediate-continuation-mark: in tail position, with-continuation-mark sets the mark on the live frame (mc.marks); in non-tail position, SaveContinuation moves mc.marks to mc.cont and nils the live frame. Both cases are handled here.
func (*MachineContext) GetMark ¶ added in v1.7.0
func (p *MachineContext) GetMark(key values.Value) values.Value
GetMark returns the continuation mark for key on the current frame, or nil if no mark is set. Uses eq? semantics for key comparison. Invariant: nil is used exclusively as the "not found" sentinel. Mark values are always non-nil Scheme values (GetValue never returns nil); SetMark must never be called with a nil val, as nil would be indistinguishable from absent.
func (*MachineContext) GetValue ¶
func (p *MachineContext) GetValue() values.Value
GetValue returns the first (or only) value from the value register. Returns Void if the register is empty.
func (*MachineContext) GetValues ¶
func (p *MachineContext) GetValues() MultipleValues
GetValues returns all values from the value register as a MultipleValues slice. For the single-value case this allocates a one-element slice; callers on the hot path should use GetValue instead.
func (*MachineContext) MaxCallDepth ¶ added in v1.3.0
func (p *MachineContext) MaxCallDepth() uint64
MaxCallDepth returns the maximum call depth limit. 0 means unlimited.
func (*MachineContext) NewSubContext ¶
func (p *MachineContext) NewSubContext() *MachineContext
NewSubContext creates a new MachineContext for running sub-calls (e.g., apply, map, for-each). The sub-context shares the global environment but has a fresh call stack, eval stack, and value register. This allows foreign functions to call Scheme closures without corrupting the parent context's state.
Note: Sub-contexts have isolated continuation chains (cont = nil). When call/cc captures a continuation inside a sub-context, it captures mc.Parent() which refers to the sub-context's chain (nil). For continuations to escape back to the outer context, the escape error propagates up through the call stack and is handled by RunWithEscapeHandling at the top level.
The parentMC field tracks the parent context, allowing call/cc to find an outer continuation for proper R7RS continuation semantics when captured inside sub-contexts.
The escapeCont field is inherited, allowing nested sub-contexts to know where execution should continue after their completion (set by dynamic-wind and similar constructs).
func (*MachineContext) PC ¶
func (p *MachineContext) PC() int
func (*MachineContext) Parent ¶
func (p *MachineContext) Parent() *MachineContinuation
func (*MachineContext) ParentMC ¶
func (p *MachineContext) ParentMC() *MachineContext
ParentMC returns the parent machine context (for sub-contexts), or nil for top-level contexts.
func (*MachineContext) PopContinuation ¶
func (p *MachineContext) PopContinuation() (*MachineContinuation, error)
PopContinuation pops the current continuation from the machine context and returns it. It restores the machine context to the state saved in the popped continuation. Returns ErrContinuationUnderflow if callDepth would go below zero (compiler bug).
Note: Unlike Restore(), we do NOT copy evals here because PopContinuation is used for normal function return where the continuation is consumed once. Restore() is used for continuation re-entry (call/cc) where the same continuation may be invoked multiple times, requiring the copy to prevent stack corruption.
func (*MachineContext) PopExceptionHandler ¶
func (p *MachineContext) PopExceptionHandler() *ExceptionHandler
PopExceptionHandler pops the current exception handler from the stack and returns it. Returns nil if no handler is installed.
func (*MachineContext) PopWindingFrame ¶
func (p *MachineContext) PopWindingFrame() *DynamicWindFrame
PopWindingFrame removes the innermost frame from the winding stack.
func (*MachineContext) PromptTag ¶
func (p *MachineContext) PromptTag() *PromptTag
PromptTag returns the prompt tag for this context, or nil.
func (*MachineContext) PushExceptionHandler ¶
func (p *MachineContext) PushExceptionHandler(handler values.Callable)
PushExceptionHandler pushes a new exception handler onto the handler stack.
func (*MachineContext) PushWindingFrame ¶
func (p *MachineContext) PushWindingFrame(frame *DynamicWindFrame)
PushWindingFrame adds a frame to the winding stack.
func (*MachineContext) ResolveParameterValue ¶ added in v1.7.0
func (p *MachineContext) ResolveParameterValue(param *Parameter) values.Value
ResolveParameterValue returns the effective value of a parameter, checking continuation marks (from parameterize) before falling back to the base value. This is the Go-side equivalent of calling the parameter with 0 args.
func (*MachineContext) Restore ¶
func (p *MachineContext) Restore(cont *MachineContinuation)
func (*MachineContext) RestoreAndRelease ¶ added in v1.4.0
func (p *MachineContext) RestoreAndRelease(cont *MachineContinuation)
RestoreAndRelease is the fast path for normal function return. It transfers the continuation's state into the MachineContext (like Restore) but avoids copying evals — instead it transfers ownership directly and pools the consumed frame. This is safe because normal return consumes the frame exactly once; call/cc and escape paths must use Restore (which copies).
Shared frames (marked by MarkChainShared during call/cc capture) cannot be pooled because a captured continuation may re-invoke them. For shared frames, evals are copied (like Restore) and the frame is left for GC instead of pooling.
The sequence for unshared frames:
- Release mc's current evals to the stack pool (it's dead after restore)
- Transfer cont's evals directly to mc (no copy)
- Nil cont.evals so releaseContinuation won't double-release it
- Pool the consumed continuation frame
func (*MachineContext) RestoreWithWinding ¶
func (p *MachineContext) RestoreWithWinding(cont *MachineContinuation, targetStack WindingStack) error
RestoreWithWinding restores a continuation with proper dynamic-wind handling. It unwinds from the current dynamic extent, rewinds to the target extent, then restores the machine state.
If cont is nil (continuation captured in a sub-context), we still perform the winding operations but don't restore machine state - the caller should handle continued execution appropriately.
func (*MachineContext) RestoreWithWindingFrom ¶
func (p *MachineContext) RestoreWithWindingFrom(cont *MachineContinuation, sourceStack, targetStack WindingStack) error
RestoreWithWindingFrom restores a continuation with proper dynamic-wind handling, using an explicit source winding stack instead of the current context's stack.
This is needed when the escape originated from a sub-context that has a different winding stack than the context where RestoreWithWinding is called. For example, when call/cc captures inside a sub-context and the escape propagates up, the source winding stack (where the escape happened) may have frames that the top-level context doesn't know about.
Parameters:
- cont: The continuation to restore to
- sourceStack: The winding stack where the escape originated (for unwinding)
- targetStack: The winding stack to restore to (for rewinding)
func (*MachineContext) RewindTo ¶
func (p *MachineContext) RewindTo(target WindingStack, commonDepth int) error
RewindTo runs before thunks from common ancestor to target depth. Returns error if any before thunk fails.
func (*MachineContext) Run ¶
func (p *MachineContext) Run() error
Run executes the VM loop starting from the current pc. The pc is NOT reset here - callers are responsible for ensuring the correct initial pc:
- NewMachineContext copies pc from the continuation (typically 0 for fresh execution)
- Apply sets pc = 0 for fresh closure invocation
- Restore sets pc from the saved continuation for resumption
This design allows continuation resumption (e.g., raise-continuable) to work correctly by preserving the pc set by Restore rather than unconditionally resetting to 0.
Dispatch: Run always uses switch-dispatch over integer opcodes.
Context cancellation: The loop checks p.ctx.Done() every 1024 ops, allowing preemption via context.WithTimeout or context.WithCancel. This enables:
- Test timeouts that actually stop execution
- REPL interrupt support (Ctrl+C)
- Resource management for long-running computations
Run executes the VM loop using switch-dispatch with integer opcodes. Hot-path operations (Wave 1-3) are inlined as switch cases; complex operations (closures, macros, FFI) are dispatched via OpComplex to the template's sideTable.
Set the context via SetContext() before calling Run().
func (*MachineContext) RunWithEscapeHandling ¶
func (p *MachineContext) RunWithEscapeHandling() error
RunWithEscapeHandling runs the VM loop, handling continuation escapes that weren't caught by an enclosing call/cc. This is used at the top level (REPL and file execution) to catch continuations invoked outside their original dynamic extent.
When a continuation captured inside a foreign function (like dynamic-wind's thunk) is invoked from outside, the escape error propagates up. This method catches it and restores the continuation with proper dynamic-wind handling.
For continuations captured inside sub-contexts (like dynamic-wind thunks):
- Continuation: the inner state (inside the thunk)
- EscapeCont: the outer continuation (after the original sub-context would have completed)
After the inner execution completes and unwinds, if there's a pending escape continuation, execution continues from there.
When execution completes normally (Run returns nil), any remaining frames on the winding stack are unwound (after thunks are called).
func (*MachineContext) SaveContinuation ¶
func (p *MachineContext) SaveContinuation(off int) error
SaveContinuation pushes a new continuation onto the machine context with the given offset to the current program counter. Returns ErrCallDepthExceeded if the call depth limit has been reached.
Note: callDepth is incremented BEFORE calling NewMachineContinuationFromMachineContext. The continuation's own callDepth is derived from mc.cont (the parent pointer), not from mc.callDepth, so this pre-increment does not affect the continuation's cached depth. See the comment on NewMachineContinuationFromMachineContext for why this matters.
func (*MachineContext) SetBarrierValid ¶ added in v1.4.0
func (p *MachineContext) SetBarrierValid(v *BarrierToken)
SetBarrierValid sets the barrier identity token on this context. Called by PrimCallWithContinuationBarrier to mark the sub-context as inside a barrier.
func (*MachineContext) SetContext ¶
func (p *MachineContext) SetContext(ctx context.Context)
SetContext sets the context for this machine context. This should be called before Run() to enable context cancellation/timeout.
func (*MachineContext) SetDebugger ¶
func (p *MachineContext) SetDebugger(d *Debugger)
SetDebugger attaches a debugger to this context.
func (*MachineContext) SetEscapeCont ¶
func (p *MachineContext) SetEscapeCont(cont *MachineContinuation)
SetEscapeCont sets the escape continuation for this context.
func (*MachineContext) SetExceptionHandler ¶
func (p *MachineContext) SetExceptionHandler(h *ExceptionHandler)
SetExceptionHandler sets the exception handler chain.
func (*MachineContext) SetExpanderContext ¶
func (p *MachineContext) SetExpanderContext(ctx *ExpanderContext)
SetExpanderContext sets the expander context for this machine context. This is called when invoking macro transformers to enable syntax-local-* primitives.
func (*MachineContext) SetMark ¶ added in v1.7.0
func (p *MachineContext) SetMark(key, val values.Value)
SetMark sets a continuation mark on the current frame using eq? semantics. Updates an existing entry with the same key, or appends a new one.
func (*MachineContext) SetMaxCallDepth ¶ added in v1.3.0
func (p *MachineContext) SetMaxCallDepth(n uint64)
SetMaxCallDepth sets the maximum call depth limit. 0 means unlimited.
func (*MachineContext) SetPC ¶
func (p *MachineContext) SetPC(v int)
SetPC sets the program counter. Used by PrimCallCC for inline lambda execution.
func (*MachineContext) SetPromptTag ¶
func (p *MachineContext) SetPromptTag(tag *PromptTag)
SetPromptTag sets the prompt tag on this context. Used by call-with-continuation-prompt to mark sub-contexts as prompt boundaries.
func (*MachineContext) SetThread ¶ added in v1.1.0
func (p *MachineContext) SetThread(t *values.Thread)
SetThread sets the SRFI-18 thread identity on this context. Both the thread object and its ID are stored for efficient comparison.
func (*MachineContext) SetValue ¶
func (p *MachineContext) SetValue(v values.Value)
SetValue stores a single value in the value register without allocating. This is the hot path: every LoadLocal, LoadGlobal, LoadLiteral, Pull, Pop, MakeClosure, etc. goes through here.
func (*MachineContext) SetValues ¶
func (p *MachineContext) SetValues(vs ...values.Value)
SetValues sets the value register. For a single value this uses the zero-allocation fast path (singleValue); for multiple values it falls back to the multiValues slice.
func (*MachineContext) SetWindingStack ¶
func (p *MachineContext) SetWindingStack(stack WindingStack)
SetWindingStack sets the winding stack (used by sub-contexts).
func (*MachineContext) SliceContinuationAt ¶
func (p *MachineContext) SliceContinuationAt(prompt *MachineContinuation) *MachineContinuation
SliceContinuationAt deep-copies the continuation chain segment from p.cont down to (but not including) the prompt frame. The returned chain's bottom frame has parent = nil, making it a standalone segment suitable for composable continuation capture.
func (*MachineContext) Template ¶
func (p *MachineContext) Template() *NativeTemplate
func (*MachineContext) Thread ¶ added in v1.1.0
func (p *MachineContext) Thread() *values.Thread
Thread returns the SRFI-18 thread object for this context, or nil for the primordial thread.
func (*MachineContext) ThreadID ¶ added in v1.1.0
func (p *MachineContext) ThreadID() uint64
ThreadID returns the SRFI-18 thread ID for this context. 0 means the primordial thread (main goroutine).
func (*MachineContext) UnwindTo ¶
func (p *MachineContext) UnwindTo(commonDepth int) error
UnwindTo runs after thunks from innermost to the common ancestor. Returns error if any after thunk fails.
func (*MachineContext) WindingStack ¶
func (p *MachineContext) WindingStack() WindingStack
WindingStack returns the current winding stack.
func (*MachineContext) WrapError ¶
func (p *MachineContext) WrapError(err error, msg string) *SchemeError
WrapError wraps an existing error with the current source location and stack trace.
type MachineContinuation ¶
type MachineContinuation struct {
// contains filtered or unexported fields
}
func NewMachineContinuation ¶
func NewMachineContinuation(parent *MachineContinuation, tpl *NativeTemplate, env *environment.EnvironmentFrame) *MachineContinuation
NewMachineContinuation creates a new machine continuation with the given parent, template, environment frame, and initial values.
func NewMachineContinuationFromMachineContext ¶
func NewMachineContinuationFromMachineContext(mc *MachineContext, off int) *MachineContinuation
NewMachineContinuationFromMachineContext creates a new machine continuation from the given machine context and an offset to the program counter. The new continuation inherits the environment, template, and evaluation stack from the machine context.
callDepth derivation: the new frame's parent is mc.cont, so its depth is derived from mc.cont's cached depth — NOT from mc.callDepth. These values differ because SaveContinuation pre-increments mc.callDepth before calling this function, but other callers do not:
- SaveContinuation: mc.callDepth already incremented → mc.callDepth != chain length
- PrimCallCC sub-context path (prim_control.go): mc.callDepth == 0, mc.cont == nil
- PrimDynamicWind escape cont (prim_control.go): mc.callDepth == chain length
Using mc.callDepth - 1 would underflow to -1 in the PrimCallCC case (mc.callDepth == 0). The parent-pointer formula is correct for all callers and immune to underflow.
func NewMachineContinuationWithPrompt ¶
func NewMachineContinuationWithPrompt(parent *MachineContinuation, tpl *NativeTemplate, env *environment.EnvironmentFrame, tag *PromptTag, handler Closure) *MachineContinuation
NewMachineContinuationWithPrompt creates a continuation frame that acts as a continuation prompt. The tag identifies the prompt for abort/capture, and the handler is invoked when an abort reaches this prompt.
func (*MachineContinuation) CallDepth ¶
func (p *MachineContinuation) CallDepth() int
CallDepth returns the depth of the continuation stack. The depth is cached in each frame at creation time, so this is O(1).
func (*MachineContinuation) Copy ¶
func (p *MachineContinuation) Copy() *MachineContinuation
func (*MachineContinuation) DeepCopy ¶
func (p *MachineContinuation) DeepCopy() *MachineContinuation
DeepCopy creates a deep copy of the entire continuation chain. Each frame in the chain is copied, with parent pointers updated to point to the copied frames. This is needed for composable continuations which must be safely re-invoked multiple times.
func (*MachineContinuation) EnvironmentFrame ¶
func (p *MachineContinuation) EnvironmentFrame() *environment.EnvironmentFrame
func (*MachineContinuation) IsVoid ¶
func (p *MachineContinuation) IsVoid() bool
func (*MachineContinuation) MarkChainShared ¶ added in v1.4.0
func (p *MachineContinuation) MarkChainShared()
MarkChainShared marks every frame in the continuation chain as shared. Shared frames are not pooled by RestoreAndRelease — their evals are copied instead of transferred, preserving them for re-invocation.
Early-exits when a frame is already shared: all ancestors must already be shared from a prior capture (sharing propagates toward the root).
func (*MachineContinuation) PC ¶
func (p *MachineContinuation) PC() int
func (*MachineContinuation) Parent ¶
func (p *MachineContinuation) Parent() *MachineContinuation
func (*MachineContinuation) PromptHandler ¶
func (p *MachineContinuation) PromptHandler() Closure
func (*MachineContinuation) PromptTag ¶
func (p *MachineContinuation) PromptTag() *PromptTag
func (*MachineContinuation) PushValues ¶
func (p *MachineContinuation) PushValues(v ...values.Value)
PushValues appends values to the continuation's value register. If the register currently holds a single value, it is promoted to the multi-value representation before appending. This promote-then-append pattern avoids losing the existing single value when transitioning to the multi-value path.
func (*MachineContinuation) SchemeString ¶
func (p *MachineContinuation) SchemeString() string
func (*MachineContinuation) SetPC ¶
func (p *MachineContinuation) SetPC(v int)
func (*MachineContinuation) SetPromptHandler ¶
func (p *MachineContinuation) SetPromptHandler(h Closure)
func (*MachineContinuation) SetPromptTag ¶
func (p *MachineContinuation) SetPromptTag(t *PromptTag)
func (*MachineContinuation) Template ¶
func (p *MachineContinuation) Template() *NativeTemplate
func (*MachineContinuation) ThreadID ¶ added in v1.1.0
func (p *MachineContinuation) ThreadID() uint64
type MultipleValues ¶
MultipleValues represents multiple return values from a function.
func NewMultipleValues ¶
func NewMultipleValues(values ...values.Value) MultipleValues
NewMultipleValues creates a new MultipleValues from the given values.
func (MultipleValues) Copy ¶
func (p MultipleValues) Copy() MultipleValues
Copy creates a copy of the MultipleValues.
func (MultipleValues) EqualTo ¶
func (p MultipleValues) EqualTo(o values.Value) bool
EqualTo checks if the MultipleValues is equal to another value.
func (MultipleValues) IsVoid ¶
func (p MultipleValues) IsVoid() bool
IsVoid returns true if the MultipleValues represents 'void' - either
func (MultipleValues) Len ¶
func (p MultipleValues) Len() int
Len returns the number of values in the MultipleValues.
func (MultipleValues) SchemeString ¶
func (p MultipleValues) SchemeString() string
SchemeString returns the Scheme representation of the MultipleValues.
type NativeTemplate ¶
type NativeTemplate struct {
// contains filtered or unexported fields
}
func NewEmptyNativeTemplate ¶ added in v1.2.0
func NewEmptyNativeTemplate() *NativeTemplate
NewEmptyNativeTemplate creates a new NativeTemplate with default empty parameters. This is used when a template is initialized without any known parameters or operations yet.
func NewNativeTemplate ¶
func NewNativeTemplate(pcnt int, vcnt int, vd bool, operations ...Operation) *NativeTemplate
func (*NativeTemplate) AppendCachedBinding ¶ added in v1.5.0
func (p *NativeTemplate) AppendCachedBinding(bd *environment.Binding) int32
AppendCachedBinding adds a *Binding to the cached bindings array, deduplicating by pointer identity. Returns the index for use as an OpLoadCachedBinding/OpPushCachedBinding operand.
func (*NativeTemplate) AppendInstruction ¶ added in v1.4.0
func (p *NativeTemplate) AppendInstruction(instr Instruction)
AppendInstruction appends a single instruction with no source attribution.
func (*NativeTemplate) AppendInstructionWithSource ¶ added in v1.4.0
func (p *NativeTemplate) AppendInstructionWithSource(src *syntax.SourceContext, instr Instruction)
AppendInstructionWithSource appends a single instruction to the integer-dispatch bytecode and tags it with the given source context.
func (*NativeTemplate) AppendOperations ¶
func (p *NativeTemplate) AppendOperations(ops ...Operation)
AppendOperations appends operations with no source attribution (index 0 = nil). Converts operations to instructions using AppendOperationsWithSource.
func (*NativeTemplate) AppendOperationsWithSource ¶ added in v1.4.0
func (p *NativeTemplate) AppendOperationsWithSource(src *syntax.SourceContext, ops ...Operation)
AppendOperationsWithSource converts operations to instructions and tags each with the given source. Wave 1-3 operations become direct switch cases; complex operations go through the sideTable and are dispatched via OpComplex. This is a public method for test use.
func (*NativeTemplate) AppendSideTableOp ¶ added in v1.4.0
func (p *NativeTemplate) AppendSideTableOp(op InlinedOperation) Instruction
AppendSideTableOp adds a complex operation to the side table and returns an OpComplex instruction that references it.
func (*NativeTemplate) Code ¶ added in v1.4.0
func (p *NativeTemplate) Code() []Instruction
Code returns the integer-dispatch bytecode slice.
func (*NativeTemplate) CodeLen ¶ added in v1.4.0
func (p *NativeTemplate) CodeLen() int
CodeLen returns the current code[] length (number of instructions emitted).
func (*NativeTemplate) Copy ¶
func (p *NativeTemplate) Copy() *NativeTemplate
func (*NativeTemplate) DeduplicateLiteral ¶
func (p *NativeTemplate) DeduplicateLiteral(v values.Value) values.Value
DeduplicateLiteral deduplicates the given value using the template's literal pool. For composite values (pairs and vectors), all elements are deduplicated recursively. Returns the deduplicated value.
func (*NativeTemplate) Doc ¶ added in v1.10.3
func (p *NativeTemplate) Doc() string
func (*NativeTemplate) IsVariadic ¶
func (p *NativeTemplate) IsVariadic() bool
func (*NativeTemplate) IsVoid ¶
func (p *NativeTemplate) IsVoid() bool
func (*NativeTemplate) Literals ¶ added in v1.5.0
func (p *NativeTemplate) Literals() MultipleValues
Literals returns the literals pool.
func (*NativeTemplate) MaybeAppendLiteral ¶
func (p *NativeTemplate) MaybeAppendLiteral(v values.Value) LiteralIndex
func (*NativeTemplate) Name ¶
func (p *NativeTemplate) Name() string
func (*NativeTemplate) Operations ¶
func (p *NativeTemplate) Operations() Operations
Operations reconstructs the operation sequence from the bytecode. Converts Instructions back to Operation values for compatibility with existing code that expects Operations (e.g., tests, EqualTo).
func (*NativeTemplate) Optimize ¶ added in v1.5.0
func (p *NativeTemplate) Optimize()
Optimize performs a peephole optimization pass on the template's bytecode. It removes dead instructions identified by pattern-matching rules, fixes branch offsets to account for removed instructions, and compacts the code and source reference arrays in parallel.
Superinstruction formation (Ertl & Gregg 2003). Fusing adjacent instructions reduces dispatch overhead in the Run() switch loop.
Fusions:
Load* + Push → Push* (eliminates 1 dispatch)
Pull + Apply → PullApply (eliminates 1 dispatch)
SaveCont + PushCachedBinding ... PullApply
→ CallForeignCached (eliminates ~5 dispatches)
Cost model: each fusion saves one (fetch opcode + switch branch).
In switch-dispatch interpreters, dispatch dominates execution time.
Invariant: fusions must not change observable semantics. Branch
offsets are recomputed after compaction.
Constrains: Run() must implement fused opcodes with identical
semantics to the original sequence.
Constrained by: must preserve semantic equivalence of fused
instruction sequences.
See BIBLIOGRAPHY.md "Superinstruction Formation".
After compacting its own code, Optimize recurses into any *NativeTemplate values in the literals pool (lambda closures compiled as sub-templates).
Idempotent: a second call finds nothing to remove.
func (*NativeTemplate) ParameterCount ¶
func (p *NativeTemplate) ParameterCount() int
func (*NativeTemplate) PatchInstructionArg ¶ added in v1.4.0
func (p *NativeTemplate) PatchInstructionArg(codeIdx int, arg int32)
PatchInstructionArg updates the Arg field of the instruction at code[codeIdx]. Used for patching branch offsets and continuation save offsets after the target PC is known.
func (*NativeTemplate) SchemeString ¶
func (p *NativeTemplate) SchemeString() string
func (*NativeTemplate) SetDoc ¶ added in v1.10.3
func (p *NativeTemplate) SetDoc(doc string)
func (*NativeTemplate) SetName ¶
func (p *NativeTemplate) SetName(name string)
func (*NativeTemplate) SideTable ¶ added in v1.4.0
func (p *NativeTemplate) SideTable() []InlinedOperation
SideTable returns the complex operations referenced by OpComplex instructions.
func (*NativeTemplate) SourceAt ¶
func (p *NativeTemplate) SourceAt(pc int) *syntax.SourceContext
SourceAt returns the source location for the operation at pc. Returns nil if pc is out of bounds or no source was recorded. O(1) lookup via the parallel sourceRefs array.
func (*NativeTemplate) ValueCount ¶
func (p *NativeTemplate) ValueCount() int
type OSFileResolver ¶ added in v1.6.0
type OSFileResolver struct {
// contains filtered or unexported fields
}
OSFileResolver resolves files from the operating system filesystem, using the load path stack, library registry, SCHEME_INCLUDE_PATH, and CWD as fallback directories. It also enforces security authorization.
func NewOSFileResolver ¶ added in v1.6.0
func NewOSFileResolver(env *environment.EnvironmentFrame) *OSFileResolver
NewOSFileResolver creates a resolver that finds files on the OS filesystem.
func (*OSFileResolver) EnumerateLibraries ¶ added in v1.10.3
func (p *OSFileResolver) EnumerateLibraries() ([]LibraryName, error)
EnumerateLibraries walks the OS filesystem to discover importable libraries. Walks library registry search paths, SCHEME_INCLUDE_PATH directories, and CWD, matching the same search order used by ResolveAndOpen.
Best-effort: non-existent directories are skipped gracefully, and unreadable subdirectories are skipped without failing the whole walk. Only the security authorizer can exclude individual files.
func (*OSFileResolver) ResolveAndOpen ¶ added in v1.6.0
type OpCode ¶ added in v1.4.0
type OpCode uint16
OpCode is an integer opcode for the switch-dispatch VM loop. Operations migrated from interface dispatch to integer dispatch get a dedicated OpCode. Complex operations that remain as interface values use OpComplex with a side table index.
Adding a new opcode requires changes in:
- opcode.go — add OpXxx constant and entry in opcodeTable (name + metadata flags)
- machine_context.go Run() — add dispatch case in the main switch
- native_template.go — add cases in both operationToInstruction() and instructionToOperation()
- operation_xxx.go — create new operation type (or add to existing file)
- compile_*.go — add compiler method to emit the new opcode
- Relevant _test.go files
- peephole.go — if the new op participates in fusion/chaining (e.g. loadToFusedPush)
const ( OpInvalid OpCode = iota // Wave 1: zero-operand operations OpPush OpPop OpPull OpLoadVoid OpDrop OpPopEnv OpApply OpUnpackListToStack OpRestoreContinuation // Wave 2: single-operand operations (Arg = offset, index, or depth) OpBranchOnFalseValue OpBranch OpSaveContinuation OpLoadLiteral OpLoadGlobal OpStoreGlobal OpPeekK OpPushEnv // Push new env frame with Arg local slots // Wave 3: two-operand operations (Arg = bit-packed slot|depth) OpLoadLocal OpStoreLocal // Wave 4: fused push operations (Arg = same as unfused Load variant) OpPushLiteral // LoadLiteral + Push OpPushGlobal // LoadGlobal + Push OpPushLocal // LoadLocal + Push // Wave 5: fused call operations (zero-operand) OpPullApply // Pull + Apply // Wave 5: promoted complex operations (zero-operand) OpMakeClosure // MakeClosure (was OpComplex) // Wave 6: cached binding operations (Arg = index into cachedBindings) OpLoadCachedBinding // Load from compile-time resolved *Binding OpPushCachedBinding // LoadCachedBinding + Push (fused) // Wave 7: direct foreign call operations (Arg = index into cachedBindings) // Emitted by peephole only — compiler never produces these. OpCallForeignCached // Non-tail: call ForeignClosure, then mc.pc++ OpCallForeignCachedTail // Tail: call ForeignClosure, then returnImmediate() // Wave 8: general call fusion (Arg = same encoding as PushLocal/PushCachedBinding) // Fused PushLocal/PushCachedBinding + PullApply for non-foreign callables. // Emitted by peephole only — compiler never produces these. OpCallLocal // Resolve local binding, drain args, ApplyCallable OpCallCachedBinding // Resolve cached binding, drain args, ApplyCallable // Wave 9: promoted primitive operations (Arg = index into cachedBindings) // Inline the hot primitive logic directly, bypassing arity check, arg // binding, and indirect function call. Emitted by peephole only when // the cached binding holds a known promoted ForeignClosure. OpEqQ // Non-tail inlined eq? OpEqQTail // Tail inlined eq? OpVectorQ // Non-tail inlined vector? OpVectorQTail // Tail inlined vector? OpVectorRef // Non-tail inlined vector-ref OpVectorRefTail // Tail inlined vector-ref OpNullQ // Non-tail inlined null? OpNullQTail // Tail inlined null? OpPairQ // Non-tail inlined pair? OpPairQTail // Tail inlined pair? OpCar // Non-tail inlined car OpCarTail // Tail inlined car OpCdr // Non-tail inlined cdr OpCdrTail // Tail inlined cdr OpAdd // Non-tail inlined 2-arg + OpAddTail // Tail inlined 2-arg + OpSub // Non-tail inlined 2-arg - OpSubTail // Tail inlined 2-arg - OpNumLt // Non-tail inlined 2-arg < OpNumLtTail // Tail inlined 2-arg < OpNumLe // Non-tail inlined 2-arg <= OpNumLeTail // Tail inlined 2-arg <= OpNumGt // Non-tail inlined 2-arg > OpNumGtTail // Tail inlined 2-arg > OpNumGe // Non-tail inlined 2-arg >= OpNumGeTail // Tail inlined 2-arg >= OpNumEq // Non-tail inlined 2-arg = OpNumEqTail // Tail inlined 2-arg = OpCons // Non-tail inlined cons OpConsTail // Tail inlined cons OpMul // Non-tail inlined 2-arg * OpMulTail // Tail inlined 2-arg * OpDiv // Non-tail inlined 2-arg / OpDivTail // Tail inlined 2-arg / // Fallback: dispatch to sideTable[Arg] OpComplex )
type Operation ¶
Operation is the base interface for all bytecode operations. Every operation is also a values.Value so it can appear in the literals pool and be printed. Operations that are inlined into the Run() switch loop only need this base interface. Operations dispatched through the side table (OpComplex) must additionally implement InlinedOperation.
type OperationApply ¶
type OperationApply struct {
OperationBase
}
OperationApply is the bytecode operation that dispatches procedure calls. The compiler emits it after pushing arguments onto the eval stack and placing the callee in the value register. Apply pops all arguments and delegates to MachineContext.ApplyCallable, which handles the five callable types (MachineClosure, ForeignClosure, CaseLambdaClosure, Parameter, ComposableContinuation).
func NewOperationApply ¶
func NewOperationApply() *OperationApply
NewOperationApply returns a new apply operation.
type OperationBase ¶ added in v1.3.0
type OperationBase struct {
// contains filtered or unexported fields
}
OperationBase provides default SchemeString, IsVoid, and String methods for VM operations. Embed as the first field in operation structs. EqualTo is intentionally not provided: Go requires per-type assertions.
func NewOperationBase ¶ added in v1.3.0
func NewOperationBase(opName string) OperationBase
NewOperationBase creates an OperationBase with the given Scheme name. The name is used as: "#<" + opName + ">".
func NewOperationBaseWithGoName ¶ added in v1.3.0
func NewOperationBaseWithGoName(opName, goName string) OperationBase
NewOperationBaseWithGoName creates an OperationBase with both a Scheme name and a separate Go fmt.Stringer name.
func (OperationBase) IsVoid ¶ added in v1.3.0
func (p OperationBase) IsVoid() bool
IsVoid returns false; operations are never void. Unlike other values.Value implementations, this does not handle nil receivers — operations are bytecode instructions constructed by the compiler and stored in NativeTemplate slices; they are never nil.
func (OperationBase) SchemeString ¶ added in v1.3.0
func (p OperationBase) SchemeString() string
SchemeString returns the Scheme representation of the operation.
func (OperationBase) String ¶ added in v1.3.0
func (p OperationBase) String() string
String returns the Go string representation of the operation.
type OperationBindPatternVars ¶
type OperationBindPatternVars struct {
OperationBase
PatternVars []string // Ordered list for consistent indexing
}
OperationBindPatternVars binds pattern variables from the last match into a new local environment frame that is pushed onto the current environment.
This operation creates a new environment frame with local slots for each pattern variable, binds the matched values, and makes this the current environment.
func NewOperationBindPatternVars ¶
func NewOperationBindPatternVars(patternVars map[string]struct{}) *OperationBindPatternVars
func (*OperationBindPatternVars) Apply ¶
func (p *OperationBindPatternVars) Apply(mc *MachineContext) (*MachineContext, error)
type OperationBranchOffsetImmediate ¶
type OperationBranchOffsetImmediate struct {
OperationBase
Offset int
}
func NewOperationBranchOffsetImmediate ¶
func NewOperationBranchOffsetImmediate(offset int) *OperationBranchOffsetImmediate
func (*OperationBranchOffsetImmediate) EqualTo ¶
func (p *OperationBranchOffsetImmediate) EqualTo(o values.Value) bool
func (*OperationBranchOffsetImmediate) SchemeString ¶
func (p *OperationBranchOffsetImmediate) SchemeString() string
SchemeString overrides OperationBase to include offset value.
type OperationBranchOnFalseValueOffsetImmediate ¶ added in v1.4.0
type OperationBranchOnFalseValueOffsetImmediate struct {
OperationBase
Offset int
}
OperationBranchOnFalseValueOffsetImmediate branches if the value register is #f. This reads directly from the value register instead of popping from the eval stack, eliminating the Push instruction that would otherwise be needed.
Peephole optimization (Aho et al., Compilers §8.9): examines a small window of generated instructions and replaces inefficient patterns. Here, the Push+BranchOnFalse+Pop sequence is replaced with a single BranchOnFalseValue that reads the value register directly. See BIBLIOGRAPHY.md "Peephole Optimization".
func NewOperationBranchOnFalseValueOffsetImmediate ¶ added in v1.4.0
func NewOperationBranchOnFalseValueOffsetImmediate(offset int) *OperationBranchOnFalseValueOffsetImmediate
func (*OperationBranchOnFalseValueOffsetImmediate) EqualTo ¶ added in v1.4.0
func (p *OperationBranchOnFalseValueOffsetImmediate) EqualTo(o values.Value) bool
func (*OperationBranchOnFalseValueOffsetImmediate) SchemeString ¶ added in v1.4.0
func (p *OperationBranchOnFalseValueOffsetImmediate) SchemeString() string
SchemeString overrides OperationBase to include offset value.
type OperationBuildSyntaxList ¶
type OperationBuildSyntaxList struct {
OperationBase
Count int
}
OperationBuildSyntaxList builds a syntax list from elements on the eval stack. n elements are popped from the stack (in reverse order) and consed into a list.
func NewOperationBuildSyntaxList ¶
func NewOperationBuildSyntaxList(count int) *OperationBuildSyntaxList
NewOperationBuildSyntaxList creates a new OperationBuildSyntaxList.
func (*OperationBuildSyntaxList) Apply ¶
func (p *OperationBuildSyntaxList) Apply(mc *MachineContext) (*MachineContext, error)
Apply implements the Operation interface.
type OperationClearSyntaxCaseInput ¶
type OperationClearSyntaxCaseInput struct {
OperationBase
}
OperationClearSyntaxCaseInput clears the per-context syntax-case state. This is called at the end of a syntax-case form.
func NewOperationClearSyntaxCaseInput ¶
func NewOperationClearSyntaxCaseInput() *OperationClearSyntaxCaseInput
func (*OperationClearSyntaxCaseInput) Apply ¶
func (p *OperationClearSyntaxCaseInput) Apply(mc *MachineContext) (*MachineContext, error)
type OperationDrop ¶
type OperationDrop struct {
OperationBase
}
OperationDrop removes the top value from the eval stack without affecting the value register. This is used when we need to clean up the stack but preserve the current result.
func NewOperationDrop ¶
func NewOperationDrop() *OperationDrop
type OperationForeignFunctionCall ¶
type OperationForeignFunctionCall struct {
OperationBase
Function ForeignFunction
}
OperationForeignFunctionCall executes a Go function within the VM loop. Used for foreign closures that do nested VM execution (sub-context + Run), where the iterative VM loop prevents Go stack growth. Leaf primitives use ForeignClosure + applyForeign instead.
func NewOperationForeignFunctionCall ¶
func NewOperationForeignFunctionCall(ffn ForeignFunction) *OperationForeignFunctionCall
func (*OperationForeignFunctionCall) Apply ¶
func (p *OperationForeignFunctionCall) Apply(mc *MachineContext) (rmc *MachineContext, rerr error)
type OperationLoadCachedBinding ¶ added in v1.5.0
type OperationLoadCachedBinding struct {
OperationBase
BindingIndex int32
}
OperationLoadCachedBinding loads a global variable from a compile-time resolved *Binding pointer, bypassing the runtime environment lookup path used by OpLoadGlobal.
func NewOperationLoadCachedBinding ¶ added in v1.5.0
func NewOperationLoadCachedBinding(idx int32) *OperationLoadCachedBinding
NewOperationLoadCachedBinding creates a new cached binding load operation.
func (*OperationLoadCachedBinding) EqualTo ¶ added in v1.5.0
func (p *OperationLoadCachedBinding) EqualTo(o values.Value) bool
EqualTo returns true if both operations have the same binding index.
func (*OperationLoadCachedBinding) SchemeString ¶ added in v1.5.0
func (p *OperationLoadCachedBinding) SchemeString() string
SchemeString returns the Scheme representation of the operation.
type OperationLoadGlobalByGlobalIndexLiteralIndexImmediate ¶
type OperationLoadGlobalByGlobalIndexLiteralIndexImmediate struct {
OperationBase
LiteralIndex LiteralIndex
}
OperationLoadGlobalByGlobalIndexLiteralIndexImmediate loads a global variable using an index from the literals pool.
func NewOperationLoadGlobalByGlobalIndexLiteralIndexImmediate ¶
func NewOperationLoadGlobalByGlobalIndexLiteralIndexImmediate(li LiteralIndex) *OperationLoadGlobalByGlobalIndexLiteralIndexImmediate
NewOperationLoadGlobalByGlobalIndexLiteralIndexImmediate creates a new global load operation.
func (*OperationLoadGlobalByGlobalIndexLiteralIndexImmediate) EqualTo ¶
func (p *OperationLoadGlobalByGlobalIndexLiteralIndexImmediate) EqualTo(o values.Value) bool
EqualTo returns true if both operations have the same literal index.
func (*OperationLoadGlobalByGlobalIndexLiteralIndexImmediate) SchemeString ¶
func (p *OperationLoadGlobalByGlobalIndexLiteralIndexImmediate) SchemeString() string
SchemeString returns the Scheme representation of the operation.
type OperationLoadLiteralByLiteralIndexImmediate ¶
type OperationLoadLiteralByLiteralIndexImmediate struct {
OperationBase
LiteralIndex LiteralIndex
}
OperationLoadLiteralByLiteralIndexImmediate loads a literal value from the literals pool.
func NewOperationLoadLiteralByLiteralIndexImmediate ¶
func NewOperationLoadLiteralByLiteralIndexImmediate(li LiteralIndex) *OperationLoadLiteralByLiteralIndexImmediate
NewOperationLoadLiteralByLiteralIndexImmediate creates a new literal load operation.
func (*OperationLoadLiteralByLiteralIndexImmediate) EqualTo ¶
func (p *OperationLoadLiteralByLiteralIndexImmediate) EqualTo(o values.Value) bool
EqualTo returns true if both operations have the same literal index.
func (*OperationLoadLiteralByLiteralIndexImmediate) SchemeString ¶
func (p *OperationLoadLiteralByLiteralIndexImmediate) SchemeString() string
SchemeString returns the Scheme representation of the operation.
type OperationLoadLocalByLocalIndexImmediate ¶
type OperationLoadLocalByLocalIndexImmediate struct {
OperationBase
LocalIndex *environment.LocalIndex
}
func NewOperationLoadLocalByLocalIndexImmediate ¶
func NewOperationLoadLocalByLocalIndexImmediate(li *environment.LocalIndex) *OperationLoadLocalByLocalIndexImmediate
func (*OperationLoadLocalByLocalIndexImmediate) EqualTo ¶
func (p *OperationLoadLocalByLocalIndexImmediate) EqualTo(o values.Value) bool
func (*OperationLoadLocalByLocalIndexImmediate) SchemeString ¶
func (p *OperationLoadLocalByLocalIndexImmediate) SchemeString() string
type OperationLoadVoid ¶
type OperationLoadVoid struct {
OperationBase
}
func NewOperationLoadVoid ¶
func NewOperationLoadVoid() *OperationLoadVoid
type OperationMakeCaseLambdaClosure ¶
type OperationMakeCaseLambdaClosure struct {
OperationBase
// contains filtered or unexported fields
}
OperationMakeCaseLambdaClosure creates a case-lambda closure from multiple closures. Stack layout (top to bottom): closure_n, closure_n-1, ..., closure_1 The closureCount immediate specifies how many closures to pop.
func NewOperationMakeCaseLambdaClosure ¶
func NewOperationMakeCaseLambdaClosure(closureCount int) *OperationMakeCaseLambdaClosure
func (*OperationMakeCaseLambdaClosure) Apply ¶
func (p *OperationMakeCaseLambdaClosure) Apply(mc *MachineContext) (*MachineContext, error)
type OperationMakeClosure ¶
type OperationMakeClosure struct {
OperationBase
}
func NewOperationMakeClosure ¶
func NewOperationMakeClosure() *OperationMakeClosure
func (*OperationMakeClosure) Apply ¶
func (p *OperationMakeClosure) Apply(mc *MachineContext) (*MachineContext, error)
type OperationPeekK ¶
type OperationPeekK struct {
OperationBase
Depth int
}
func NewOperationPeekK ¶
func NewOperationPeekK(depth int) *OperationPeekK
func (*OperationPeekK) SchemeString ¶
func (p *OperationPeekK) SchemeString() string
SchemeString overrides OperationBase to include depth value.
type OperationPop ¶
type OperationPop struct {
OperationBase
}
func NewOperationPop ¶
func NewOperationPop() *OperationPop
type OperationPopEnv ¶
type OperationPopEnv struct {
OperationBase
}
OperationPopEnv unconditionally restores the parent environment. It pops one level from the environment chain (restoring the parent environment).
This is used in syntax-case fender evaluation to restore the environment when the fender returns false, before branching to the next clause.
func NewOperationPopEnv ¶
func NewOperationPopEnv() *OperationPopEnv
type OperationPopWind ¶
type OperationPopWind struct {
OperationBase
}
OperationPopWind pops the innermost dynamic-wind frame from the winding stack. This operation does NOT call the after thunk - that is done explicitly in the bytecode stream to ensure proper continuation semantics.
The frame is simply removed from the winding stack. If a continuation captured inside the dynamic extent is later restored, the RestoreWithWinding mechanism will handle running the appropriate before/after thunks.
R7RS §6.10: dynamic-wind establishes a dynamic extent during which the before and after thunks are called whenever control enters or exits.
func NewOperationPopWind ¶
func NewOperationPopWind() *OperationPopWind
func (*OperationPopWind) Apply ¶
func (*OperationPopWind) Apply(mc *MachineContext) (*MachineContext, error)
type OperationPull ¶
type OperationPull struct {
OperationBase
}
func NewOperationPull ¶
func NewOperationPull() *OperationPull
type OperationPush ¶
type OperationPush struct {
OperationBase
}
func NewOperationPush ¶
func NewOperationPush() *OperationPush
type OperationPushEnv ¶ added in v1.9.4
type OperationPushEnv struct {
OperationBase
SlotCount int
}
OperationPushEnv allocates a new environment frame with the specified number of local binding slots and chains it to the current environment. Paired with OpPopEnv which restores the parent.
func NewOperationPushEnv ¶ added in v1.9.4
func NewOperationPushEnv(slotCount int) *OperationPushEnv
type OperationPushWind ¶
type OperationPushWind struct {
OperationBase
}
OperationPushWind creates a dynamic-wind frame and pushes it onto the winding stack. It expects the stack to contain [before, thunk, after] where:
- before is at PeekK(2) - the before thunk
- thunk is at PeekK(1) - the main thunk (not used by this operation)
- after is at PeekK(0) - the after thunk
The frame is created from the before and after closures and pushed onto the winding stack. The stack is not modified.
R7RS §6.10: dynamic-wind establishes a dynamic extent during which the before and after thunks are called whenever control enters or exits.
func NewOperationPushWind ¶
func NewOperationPushWind() *OperationPushWind
func (*OperationPushWind) Apply ¶
func (*OperationPushWind) Apply(mc *MachineContext) (*MachineContext, error)
type OperationRestoreContMark ¶ added in v1.7.0
type OperationRestoreContMark struct {
OperationBase
}
OperationRestoreContMark restores the previous mark value after body evaluation. Paired with OperationSaveContMark.
Pre: eval stack = [..., key, old_val_or_sentinel] Post: eval stack = [...], marks[key] restored or deleted, pc++
func NewOperationRestoreContMark ¶ added in v1.7.0
func NewOperationRestoreContMark() *OperationRestoreContMark
func (*OperationRestoreContMark) Apply ¶ added in v1.7.0
func (*OperationRestoreContMark) Apply(mc *MachineContext) (*MachineContext, error)
type OperationRestoreContinuation ¶
type OperationRestoreContinuation struct {
OperationBase
}
func NewOperationRestoreContinuation ¶
func NewOperationRestoreContinuation() *OperationRestoreContinuation
type OperationSaveContMark ¶ added in v1.7.0
type OperationSaveContMark struct {
OperationBase
}
OperationSaveContMark saves the previous mark value and sets a new one. Used in non-tail position, paired with OperationRestoreContMark.
Pre: eval stack = [..., key], value register = val Post: eval stack = [..., key, old_val_or_sentinel], marks[key] = val, pc++
func NewOperationSaveContMark ¶ added in v1.7.0
func NewOperationSaveContMark() *OperationSaveContMark
func (*OperationSaveContMark) Apply ¶ added in v1.7.0
func (*OperationSaveContMark) Apply(mc *MachineContext) (*MachineContext, error)
type OperationSaveContinuationOffsetImmediate ¶
type OperationSaveContinuationOffsetImmediate struct {
OperationBase
Offset int
}
func NewOperationSaveContinuationOffsetImmediate ¶
func NewOperationSaveContinuationOffsetImmediate(off int) *OperationSaveContinuationOffsetImmediate
func (*OperationSaveContinuationOffsetImmediate) EqualTo ¶
func (p *OperationSaveContinuationOffsetImmediate) EqualTo(o values.Value) bool
func (*OperationSaveContinuationOffsetImmediate) SchemeString ¶
func (p *OperationSaveContinuationOffsetImmediate) SchemeString() string
SchemeString overrides OperationBase to include offset value.
type OperationSetContMark ¶ added in v1.7.0
type OperationSetContMark struct {
OperationBase
}
OperationSetContMark sets a continuation mark on the current frame. Used in tail position where no restore is needed.
Pre: eval stack = [..., key], value register = val Post: eval stack = [...], marks[key] = val, pc++
func NewOperationSetContMark ¶ added in v1.7.0
func NewOperationSetContMark() *OperationSetContMark
func (*OperationSetContMark) Apply ¶ added in v1.7.0
func (*OperationSetContMark) Apply(mc *MachineContext) (*MachineContext, error)
type OperationStoreGlobalByGlobalIndexLiteralIndexImmediate ¶
type OperationStoreGlobalByGlobalIndexLiteralIndexImmediate struct {
OperationBase
LiteralIndex LiteralIndex
}
OperationStoreGlobalByGlobalIndexLiteralIndexImmediate stores a value to a global variable using an index from the literals pool.
func NewOperationStoreGlobalByGlobalIndexLiteralIndexImmediate ¶
func NewOperationStoreGlobalByGlobalIndexLiteralIndexImmediate(liti LiteralIndex) *OperationStoreGlobalByGlobalIndexLiteralIndexImmediate
NewOperationStoreGlobalByGlobalIndexLiteralIndexImmediate creates a new global store operation.
func (*OperationStoreGlobalByGlobalIndexLiteralIndexImmediate) EqualTo ¶
func (p *OperationStoreGlobalByGlobalIndexLiteralIndexImmediate) EqualTo(o values.Value) bool
func (*OperationStoreGlobalByGlobalIndexLiteralIndexImmediate) SchemeString ¶
func (p *OperationStoreGlobalByGlobalIndexLiteralIndexImmediate) SchemeString() string
SchemeString returns the Scheme representation of the operation.
type OperationStoreLocalByLocalIndexImmediate ¶
type OperationStoreLocalByLocalIndexImmediate struct {
OperationBase
LocalIndex *environment.LocalIndex
}
func NewOperationStoreLocalByLocalIndexImmediate ¶
func NewOperationStoreLocalByLocalIndexImmediate(li *environment.LocalIndex) *OperationStoreLocalByLocalIndexImmediate
func (*OperationStoreLocalByLocalIndexImmediate) EqualTo ¶
func (p *OperationStoreLocalByLocalIndexImmediate) EqualTo(o values.Value) bool
func (*OperationStoreLocalByLocalIndexImmediate) SchemeString ¶
func (p *OperationStoreLocalByLocalIndexImmediate) SchemeString() string
type OperationStoreSyntaxCaseInput ¶
type OperationStoreSyntaxCaseInput struct {
OperationBase
}
OperationStoreSyntaxCaseInput stores the value register into the per-context syntaxCaseState for use by OperationSyntaxCaseMatch.
func NewOperationStoreSyntaxCaseInput ¶
func NewOperationStoreSyntaxCaseInput() *OperationStoreSyntaxCaseInput
func (*OperationStoreSyntaxCaseInput) Apply ¶
func (p *OperationStoreSyntaxCaseInput) Apply(mc *MachineContext) (*MachineContext, error)
type OperationSyntaxCaseMatch ¶
type OperationSyntaxCaseMatch struct {
OperationBase
}
OperationSyntaxCaseMatch performs pattern matching for syntax-case.
Expects:
- Value register: syntaxCaseClause with compiled pattern
- Per-context syntaxCaseState.input: input syntax object (set by OperationStoreSyntaxCaseInput)
Results:
- If match succeeds: value register = #t, pattern bindings stored in context
- If match fails: value register = #f
func NewOperationSyntaxCaseMatch ¶
func NewOperationSyntaxCaseMatch() *OperationSyntaxCaseMatch
func (*OperationSyntaxCaseMatch) Apply ¶
func (p *OperationSyntaxCaseMatch) Apply(mc *MachineContext) (*MachineContext, error)
type OperationSyntaxCaseNoMatch ¶
type OperationSyntaxCaseNoMatch struct {
OperationBase
}
OperationSyntaxCaseNoMatch is emitted at the end of syntax-case when no clause matches.
func NewOperationSyntaxCaseNoMatch ¶
func NewOperationSyntaxCaseNoMatch() *OperationSyntaxCaseNoMatch
func (*OperationSyntaxCaseNoMatch) Apply ¶
func (p *OperationSyntaxCaseNoMatch) Apply(mc *MachineContext) (*MachineContext, error)
type OperationSyntaxRulesTransform ¶
type OperationSyntaxRulesTransform struct {
OperationBase
}
OperationSyntaxRulesTransform is a VM operation that performs macro expansion.
Execution context:
- Value register: contains clausesWrapper with compiled pattern/template pairs
- Local parameter 0: contains the input form (the macro invocation)
The operation is part of the transformer closure created by CompileSyntaxRules.
func NewOperationSyntaxRulesTransform ¶
func NewOperationSyntaxRulesTransform() *OperationSyntaxRulesTransform
func (*OperationSyntaxRulesTransform) Apply ¶
func (p *OperationSyntaxRulesTransform) Apply(mc *MachineContext) (*MachineContext, error)
type OperationSyntaxTemplateExpand ¶
type OperationSyntaxTemplateExpand struct {
OperationBase
}
OperationSyntaxTemplateExpand expands a syntax template using the current pattern variable bindings. This is used for templates containing ellipsis, which require runtime expansion rather than compile-time code generation.
The template is stored in the value register (loaded from literals). The result is the expanded syntax object, left in the value register.
func NewOperationSyntaxTemplateExpand ¶
func NewOperationSyntaxTemplateExpand() *OperationSyntaxTemplateExpand
func (*OperationSyntaxTemplateExpand) Apply ¶
func (p *OperationSyntaxTemplateExpand) Apply(mc *MachineContext) (*MachineContext, error)
type OperationUnpackListToStack ¶ added in v1.5.0
type OperationUnpackListToStack struct {
OperationBase
}
OperationUnpackListToStack reads a proper list from the value register and pushes each element to the eval stack in order. Used by compiled (apply proc arg1 ... args) to flatten the final arg list onto the stack before Pull + OpApply.
Errors if the value is not a proper list (improper list or non-list).
func NewOperationUnpackListToStack ¶ added in v1.5.0
func NewOperationUnpackListToStack() *OperationUnpackListToStack
NewOperationUnpackListToStack returns a new unpack-list-to-stack operation.
type Operations ¶
type Operations []Operation
func NewOperations ¶
func NewOperations(ops ...Operation) Operations
func (Operations) AsList ¶
func (p Operations) AsList() values.Tuple
func (Operations) Copy ¶
func (p Operations) Copy() Operations
func (Operations) IsVoid ¶
func (p Operations) IsVoid() bool
func (Operations) Len ¶
func (p Operations) Len() int
func (Operations) SchemeString ¶
func (p Operations) SchemeString() string
type Parameter ¶
type Parameter struct {
// contains filtered or unexported fields
}
Parameter represents an R7RS parameter object. Parameters are dynamically-scoped variables that can be temporarily rebound using parameterize. They act as procedures:
- (param) returns the current value
- (param val) sets the current value (after applying converter if present)
func NewParameter ¶
NewParameter creates a new parameter with the given initial value and optional converter. The converter should be a procedure that takes one argument and returns the converted value. Pass nil for converter if no conversion is needed.
func (*Parameter) AcceptsArity ¶ added in v1.5.0
AcceptsArity reports whether this parameter can be called with n arguments. Parameters accept 0 args (get current value) or 1 arg (set value).
func (*Parameter) EqualTo ¶
EqualTo uses identity comparison for parameters. Two parameters are equal only if they are the same object.
func (*Parameter) HasConverter ¶
HasConverter returns true if the parameter has a converter procedure.
func (*Parameter) SchemeString ¶
SchemeString returns the Scheme representation of the parameter.
type PhaseEntry ¶
PhaseEntry represents a named item to register in a phase environment.
type Pool ¶ added in v1.5.0
type Pool[T any] struct { // contains filtered or unexported fields }
Pool[T] is a type-safe, observable object pool backed by sync.Pool. It wraps sync.Pool with atomic counters (acquires, releases, misses) and an enable/disable toggle for debugging or benchmarking.
func NewPool ¶ added in v1.5.0
NewPool creates a Pool[T] with the given name, constructor, and reset function. The pool starts enabled.
func (*Pool[T]) Acquire ¶ added in v1.5.0
func (p *Pool[T]) Acquire() *T
Acquire returns an object from the pool. If the pool is disabled, it calls newFn directly (bypassing sync.Pool).
func (*Pool[T]) Drain ¶ added in v1.5.0
func (p *Pool[T]) Drain()
Drain is a no-op on individual pools. Use PoolManager.DrainAll to trigger a GC-assisted drain across all pools.
func (*Pool[T]) Release ¶ added in v1.5.0
func (p *Pool[T]) Release(v *T)
Release resets the object and returns it to the pool. If the pool is disabled, the object is discarded after reset.
func (*Pool[T]) SetEnabled ¶ added in v1.5.0
SetEnabled toggles the pool on or off. When disabled, Acquire calls newFn directly and Release discards after reset, useful for benchmarking or debugging.
func (*Pool[T]) Stats ¶ added in v1.5.0
func (p *Pool[T]) Stats() PoolSnapshot
Stats returns a point-in-time snapshot of the pool's counters.
type PoolHandle ¶ added in v1.5.0
type PoolHandle interface {
Name() string
Stats() PoolSnapshot
Drain()
SetEnabled(bool)
}
PoolHandle is the type-erased interface that PoolManager uses to observe and control heterogeneous pools.
type PoolManager ¶ added in v1.5.0
type PoolManager struct {
// contains filtered or unexported fields
}
PoolManager tracks a collection of PoolHandle instances for unified observation and control.
func NewPoolManager ¶ added in v1.5.0
func NewPoolManager() *PoolManager
NewPoolManager creates an empty PoolManager.
func (*PoolManager) AllStats ¶ added in v1.5.0
func (m *PoolManager) AllStats() []PoolSnapshot
AllStats returns a snapshot of every registered pool's counters.
func (*PoolManager) DrainAll ¶ added in v1.5.0
func (m *PoolManager) DrainAll()
DrainAll triggers a garbage collection, which clears all sync.Pool instances, then calls Drain on each registered pool.
func (*PoolManager) Register ¶ added in v1.5.0
func (m *PoolManager) Register(h PoolHandle)
Register adds a pool to the manager.
func (*PoolManager) SetAllEnabled ¶ added in v1.5.0
func (m *PoolManager) SetAllEnabled(on bool)
SetAllEnabled sets the enabled flag on every registered pool.
func (*PoolManager) String ¶ added in v1.5.0
func (m *PoolManager) String() string
String returns a tabular summary of all registered pools.
type PoolSnapshot ¶ added in v1.5.0
type PoolSnapshot struct {
Name string
Acquires uint64
Releases uint64
Misses uint64
InFlight uint64
}
PoolSnapshot is a point-in-time view of a pool's counters.
type PrimitiveExpander ¶
type PrimitiveExpander struct {
// contains filtered or unexported fields
}
PrimitiveExpander wraps a PrimitiveExpanderFunc as a values.Value so it can be stored in the environment.
func LookupPrimitiveExpander ¶
func LookupPrimitiveExpander(env *environment.EnvironmentFrame, sym *values.Symbol, scopes []*syntax.Scope) *PrimitiveExpander
LookupPrimitiveExpander looks up a primitive expander by symbol in the expand environment. Returns the PrimitiveExpander if found, or nil if the symbol does not name a primitive expander.
This function handles hygiene by using scoped lookup - it will only match bindings whose scopes are a subset of the symbol's scopes.
func NewPrimitiveExpander ¶
func NewPrimitiveExpander(name string, fn PrimitiveExpanderFunc) *PrimitiveExpander
NewPrimitiveExpander creates a new primitive expander.
func (*PrimitiveExpander) EqualTo ¶
func (p *PrimitiveExpander) EqualTo(other values.Value) bool
EqualTo implements values.Value interface.
func (*PrimitiveExpander) Expand ¶
func (p *PrimitiveExpander) Expand( etc *ExpanderTimeContinuation, sym *syntax.SyntaxSymbol, expr syntax.SyntaxValue, ) (syntax.SyntaxValue, error)
Expand invokes the primitive expander function.
func (*PrimitiveExpander) IsVoid ¶
func (p *PrimitiveExpander) IsVoid() bool
IsVoid returns false — named handlers are never void.
func (*PrimitiveExpander) Name ¶
func (p *PrimitiveExpander) Name() string
Name returns the handler's name.
func (*PrimitiveExpander) SchemeString ¶
func (p *PrimitiveExpander) SchemeString() string
SchemeString returns the Scheme representation: #<prefix:name>.
type PrimitiveExpanderFunc ¶
type PrimitiveExpanderFunc func( etc *ExpanderTimeContinuation, sym *syntax.SyntaxSymbol, expr syntax.SyntaxValue, ) (syntax.SyntaxValue, error)
PrimitiveExpanderFunc is the type for expand-time special form handlers. These functions handle macro expansion of primitive forms like `if`, `lambda`, `define`, `quote`, etc.
Parameters:
- etc: The expander-time continuation (expander state, carries context)
- sym: The keyword symbol (e.g., 'if', 'lambda')
- expr: The expression arguments (everything after the keyword)
Returns the expanded syntax value.
type PromptTag ¶
type PromptTag struct {
// contains filtered or unexported fields
}
PromptTag is an opaque identity value for delimited continuation prompts. Equality is pointer identity (each tag is unique). Follows the Racket model of continuation prompt tags.
See: Flatt, Yu, Findler, Felleisen "Adding Delimited and Composable Control to a Production Programming Environment" (ICFP 2007).
func NewPromptTag ¶
NewPromptTag creates a new prompt tag with an optional name for debugging.
func (*PromptTag) SchemeString ¶
type ResolvedImportSet ¶ added in v1.5.0
type ResolvedImportSet struct {
ImportSet *ImportSet
Library *CompiledLibrary
Bindings map[string]string // localName -> externalName
}
ResolvedImportSet holds the result of parsing and loading an import set. This is the shared prefix of all import processing: parse the import set datum, load the named library, and apply modifiers (only, except, prefix, rename) to produce the final binding map.
type SchemeError ¶
type SchemeError struct {
Message string
Source *syntax.SourceContext // Where error occurred
StackTrace string // Formatted stack trace
Cause error // Underlying error (if any)
}
SchemeError is a runtime error with Scheme-level stack trace.
func NewSchemeError ¶
func NewSchemeError(msg string, source *syntax.SourceContext, stackTrace string) *SchemeError
func NewSchemeErrorWithCause ¶
func NewSchemeErrorWithCause(msg string, source *syntax.SourceContext, stackTrace string, cause error) *SchemeError
func (*SchemeError) EqualTo ¶
func (p *SchemeError) EqualTo(o values.Value) bool
EqualTo compares for equality.
func (*SchemeError) Error ¶
func (p *SchemeError) Error() string
func (*SchemeError) IsVoid ¶
func (p *SchemeError) IsVoid() bool
IsVoid returns false (errors are not void).
func (*SchemeError) SchemeString ¶
func (p *SchemeError) SchemeString() string
SchemeString returns the Scheme representation.
func (*SchemeError) Unwrap ¶
func (p *SchemeError) Unwrap() error
type Stack ¶
func (Stack) AsList ¶
AsList converts the stack to a Scheme list (values.Tuple). The list is in stack order (first pushed = first element).
func (*Stack) Drain ¶ added in v1.5.0
Drain returns a view of all stack elements and resets the stack to empty. The returned slice shares the stack's backing array — it is valid only until the next mutation (Push, PushAll, or any append). Callers must finish reading before any stack mutation.
Unlike PopAll (which copies into a new slice), Drain is zero-allocation. Use Drain when the caller consumes values immediately (e.g., binding arguments in Apply); use PopAll when the caller needs to own the slice.
func (Stack) PeekK ¶
PeekK returns the kth value from the top of the stack without removing it. `K` is zero-based, so PeekK(0) returns the top value. `K` is used for methods that need a numeric index.
func (*Stack) PopAll ¶
PopAll removes and returns all values from the stack. The caller gets exclusive ownership of the returned slice. The stack retains its backing array for reuse (avoids re-allocation on subsequent pushes). References in the retained portion are cleared so the GC can collect the values.
func (*Stack) PopN ¶ added in v1.4.0
PopN removes and returns the top n values from the stack. Values are returned in stack order (top-most element last). This is more efficient than calling Pop() n times.
func (*Stack) Pull ¶
Pull removes and returns the bottom value from the stack. In the SECD model (Landin 1964), the procedure is evaluated first but needed last. Pull retrieves it from the bottom after all arguments have been pushed on top. See BIBLIOGRAPHY.md "Stack-Based Virtual Machines".
func (Stack) SchemeString ¶
SchemeString returns a Scheme-like string representation of the stack.
type StackFrame ¶
type StackFrame struct {
FunctionName string // Function name (or "<anonymous>")
CallSite *syntax.SourceContext // Where the call was made
CurrentLoc *syntax.SourceContext // Current execution point
}
StackFrame represents one frame in a Scheme stack trace.
func (*StackFrame) String ¶
func (p *StackFrame) String() string
String formats the frame for display.
type StackTrace ¶
type StackTrace []StackFrame
StackTrace is a list of stack frames.
func (StackTrace) String ¶
func (p StackTrace) String() string
String formats the entire stack trace.
type SubContextParams ¶ added in v1.3.0
type SubContextParams struct {
Ctx context.Context
Env *environment.EnvironmentFrame
ParentMC *MachineContext
EscapeCont *MachineContinuation
ExceptionHandler *ExceptionHandler
MaxCallDepth uint64
}
SubContextParams holds the parent state needed to create a thread's sub-context. This is used to avoid race conditions when creating sub-contexts across goroutine boundaries.
type SyntaxCompiler ¶
type SyntaxCompiler struct {
// contains filtered or unexported fields
}
SyntaxCompiler wraps a SyntaxCompilerFunc as a values.Value so it can be stored in the environment.
func LookupSyntaxCompiler ¶
func LookupSyntaxCompiler(env *environment.EnvironmentFrame, sym *values.Symbol, scopes []*syntax.Scope) *SyntaxCompiler
LookupSyntaxCompiler looks up a syntax compiler by symbol in the compile environment. Returns the SyntaxCompiler if found, or nil if the symbol does not name a syntax compiler.
This function handles hygiene by using scoped lookup - it will only match bindings whose scopes are a subset of the symbol's scopes.
func NewSyntaxCompiler ¶
func NewSyntaxCompiler(name string, fn SyntaxCompilerFunc) *SyntaxCompiler
NewSyntaxCompiler creates a new syntax compiler.
func (*SyntaxCompiler) Compile ¶
func (p *SyntaxCompiler) Compile(ctc *CompileTimeContinuation, ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
Compile invokes the syntax compiler function.
func (*SyntaxCompiler) EqualTo ¶
func (p *SyntaxCompiler) EqualTo(other values.Value) bool
EqualTo implements values.Value interface.
func (*SyntaxCompiler) IsVoid ¶
func (p *SyntaxCompiler) IsVoid() bool
IsVoid returns false — named handlers are never void.
func (*SyntaxCompiler) Name ¶
func (p *SyntaxCompiler) Name() string
Name returns the handler's name.
func (*SyntaxCompiler) SchemeString ¶
func (p *SyntaxCompiler) SchemeString() string
SchemeString returns the Scheme representation: #<prefix:name>.
type SyntaxCompilerFunc ¶
type SyntaxCompilerFunc func(ctc *CompileTimeContinuation, ctctx CompileTimeCallContext, expr syntax.SyntaxValue) error
SyntaxCompilerFunc is the type for compile-time special form handlers. These functions handle syntax-directed compilation of extension forms like `syntax-case`, `import`, `define-syntax`, `include`, etc.
Parameters:
- ctc: The compile-time continuation (compiler state)
- ctctx: The compile-time call context (tail position info, etc.)
- expr: The expression arguments (everything after the keyword)
The function should emit operations to ctc.template and return nil on success.
type SyntaxRulesClause ¶
type SyntaxRulesClause struct {
// contains filtered or unexported fields
}
SyntaxRulesClause represents a single pattern-template pair in syntax-rules.
Per R7RS, a syntax-rules form contains:
(syntax-rules (literal ...) clause ...) (syntax-rules <ellipsis> (literal ...) clause ...) ; with custom ellipsis
where each clause is (pattern template).
The pattern is compiled to bytecode for efficient matching. The template is stored as-is and expanded by substituting captured pattern variables.
The freeIds map supports hygiene: free identifiers (template identifiers that are not pattern variables) are resolved at definition time so they maintain their binding even when the macro expands in a different scope.
type VMCounters ¶ added in v1.1.0
type VMCounters struct {
OpsExecuted uint64
ClosuresApplied uint64
EnvsCopied uint64
BindingsCopied uint64
ContinuationsSaved uint64
ContinuationsRestored uint64
StackDrains uint64
StackElementsDrained uint64
ForeignCalls uint64
SubContextsCreated uint64
StackPoolReleases uint64
SubContextPoolReleases uint64
// Pool effectiveness under call/cc:
// ratio = SharedFrameRestores / (SharedFrameRestores + ContinuationPoolReleases)
// 0.0 = no call/cc impact (all frames recycled via pool)
// 1.0 = all frames shared (no recycling, pure GC pressure)
// > 0.5 = pool losing more than it saves; consider profiling GC pauses
ContinuationPoolReleases uint64
EnvFramePoolReleases uint64
InlineEvalsSaved uint64 // SaveContinuation used inline slots instead of stack pool
// Stack depth instrumentation (ongoing monitoring; prior cap-tuning investigation
// showed cap-8 is sufficient for observed workloads)
StackMaxDepth uint64
StackDepth0to2 uint64 // depth 0-2: fits trivially
StackDepth3to4 uint64 // depth 3-4: typical calls
StackDepth5to8 uint64 // depth 5-8: fits in pool cap 8
StackDepth9to16 uint64 // depth 9-16: requires 1 growth from cap 8
StackDepth17p uint64 // depth 17+: requires 2+ growths
// contains filtered or unexported fields
}
VMCounters holds performance counters for a single MachineContext execution. All counters are plain uint64 — no atomics needed because each MachineContext is single-goroutine. Sub-contexts have their own counters (not aggregated into the parent).
func (VMCounters) CallHistogram ¶ added in v1.7.0
func (c VMCounters) CallHistogram() string
CallHistogram returns a formatted histogram of per-callee call counts (both foreign primitives and named Scheme procedures), sorted by frequency (descending). Returns empty string when profiling is disabled.
func (VMCounters) OpcodeHistogram ¶ added in v1.6.0
func (c VMCounters) OpcodeHistogram() string
OpcodeHistogram returns a formatted histogram of opcode hit counts, sorted by frequency (descending). Only opcodes with non-zero hits are included.
func (*VMCounters) RecordCall ¶ added in v1.7.0
func (c *VMCounters) RecordCall(name string)
RecordCall increments the call count for the named callee (foreign primitive or Scheme-defined procedure). No-op when profiling is disabled (nil map).
func (*VMCounters) RecordStackDepth ¶ added in v1.4.0
func (c *VMCounters) RecordStackDepth(n int)
RecordStackDepth updates the depth histogram and max tracker.
func (VMCounters) String ¶ added in v1.1.0
func (c VMCounters) String() string
String returns a tabular summary of all counters.
type WindingStack ¶
type WindingStack []*DynamicWindFrame
WindingStack tracks the current dynamic-wind context. It's a slice of frames from outermost to innermost.
func (WindingStack) Copy ¶
func (p WindingStack) Copy() WindingStack
Copy creates a shallow copy of the winding stack.
func (WindingStack) Depth ¶
func (p WindingStack) Depth() int
Depth returns the number of active dynamic-wind frames.
func (*WindingStack) Pop ¶
func (p *WindingStack) Pop() *DynamicWindFrame
Pop removes the innermost frame from the winding stack.
func (*WindingStack) Push ¶
func (p *WindingStack) Push(frame *DynamicWindFrame)
Push adds a frame to the winding stack.
Source Files
¶
- arity.go
- barrier_token.go
- call_foreign_cached.go
- call_promoted.go
- call_promoted_arithmetic.go
- captured_continuation.go
- case_lambda_closure.go
- closure.go
- compile_begin_for_syntax.go
- compile_closure.go
- compile_cond_expand.go
- compile_define_for_syntax.go
- compile_define_syntax.go
- compile_er_macro.go
- compile_eval_when.go
- compile_helpers.go
- compile_import.go
- compile_let.go
- compile_library_forms.go
- compile_quasisyntax.go
- compile_syntax_case.go
- compile_syntax_form.go
- compile_syntax_rules.go
- compile_time_call_context.go
- compile_time_continuation.go
- compile_time_continuation_include.go
- compile_time_continuation_library.go
- compile_time_continuation_quasiquote.go
- compile_transformer.go
- compile_validated.go
- compile_with_syntax.go
- composable_continuation.go
- continuation_mark_set.go
- counters.go
- debugger.go
- doc.go
- dynamic_wind.go
- edit_plan.go
- er_macro_compare.go
- er_macro_rename.go
- er_macro_transformer.go
- exception_escape.go
- exception_handler.go
- expander_body.go
- expander_context.go
- expander_lambda.go
- expander_let.go
- expander_let_syntax.go
- expander_primitive_forms.go
- expander_time_continuation.go
- features.go
- file_resolver.go
- foreign_closure.go
- import_set_datum.go
- instruction.go
- letrec_semantics.go
- library_bindings.go
- library_discovery.go
- library_loader.go
- library_registry.go
- machine_closure.go
- machine_context.go
- machine_context_apply.go
- machine_context_continuation.go
- machine_context_subcontext.go
- machine_context_winding.go
- machine_continuation.go
- multiple_values.go
- named_handler_base.go
- native_template.go
- opcode.go
- operation.go
- operation_build_syntax.go
- operation_cont_mark.go
- operation_helpers.go
- operation_syntax_case.go
- operation_syntax_rules_transform.go
- operations.go
- operations_call.go
- operations_closure.go
- operations_control.go
- operations_load_store.go
- operations_stack.go
- operations_winding.go
- parameter.go
- peephole.go
- phase_registry.go
- pool.go
- pool_generic.go
- primitive_expander.go
- primitive_expanders_registry.go
- prompt_abort.go
- prompt_tag.go
- quasi_expand.go
- register.go
- scheme_error.go
- stack.go
- stack_frame.go
- syntax_compiler.go
- syntax_compilers_registry.go
- util.go
- vm_state.go