expr

type BoundClosure struct {
	ID   string
	Slot int
	Decl *model.Closure
}

type BoundVar struct {
	Name  string
	Const bool
	Slot  int
}

type Compiled struct {
	Program  *Program
	Vars     []BoundVar
	Calls    []string
	Closures []BoundClosure
	// Exprs holds the marked sub-expressions (`++`/`--`, include) the
	// compiled closures evaluate through the __eval base helper, keyed by
	// the mark id, the same contract the transpiler's marks use.
	Exprs map[string]model.Expr
}

type Env struct {
	Vars []any
	Base map[string]any
}

type Helpers struct {
	Truthy     func(v any) bool
	Concat     func(a, b any) string
	Pair       func(key, val any) model.ArrayItemValue
	Array      func(items ...model.ArrayItemValue) *model.Array
	Index      func(base, idx any) any
	Cast       func(typ string, v any) any
	Arith      func(op string, a, b any) any
	Compare    func(op string, a, b any) bool
	Bitwise    func(op string, a, b any) (any, error)
	BitNot     func(v any) any
	InstanceOf func(value, class any) bool
	Negate     func(v any) any

	// PanicError converts a recovered panic into the error the runner's own
	// call boundary would have produced, so a host panic stays catchable as
	// the same PHP exception on both engines.
	PanicError func(recovered any) error

	// Slotted reports whether an identifier is a per-evaluation value: a
	// PHP variable, a bare name, a closure literal. Those compile to slot
	// reads; everything else (function names) stays a Base lookup.
	Slotted func(name string) bool
}

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