ast

type ErrorOutput ¶

type ErrorOutput struct {
	Reason string `json:"reason"`
	Line   int    `json:"line"`
	Column int    `json:"column"`
}

type Node ¶

type Node struct {
	Type     string
	Value    string
	Children []*Node
	Line     int
	Column   int
	Filename string
	Inferred TypeInfo
}

func ApplyWithContext(node *Node, ctxVars []*Node) *Node

func CopyNode(n *Node) *Node

type TypeInfo ¶

type TypeInfo struct {
	Kind         ValueKind
	Name         string
	Size         uint64
	Align        uint64
	Pointer      bool
	Key          *TypeInfo
	Element      *TypeInfo
	Fields       map[string]TypeInfo
	FieldOffsets map[string]uint64
}

TypeInfo describes both the source-level type and its native layout. Size and Align are zero for Unknown/Any because no backend-safe layout is known.

func Layout(kind ValueKind) TypeInfo

type ValueKind ¶

type ValueKind string

ValueKind is the language-level type category inferred by the semantic checker. Unknown is intentional: HowlFrame permits dynamic values at runtime, while known values still carry enough layout information for native backends to make safe decisions.

const (
	Unknown ValueKind = "unknown"
	Any     ValueKind = "any"
	Void    ValueKind = "void"
	Bool    ValueKind = "bool"
	Int     ValueKind = "int"
	Float   ValueKind = "float"
	String  ValueKind = "string"
	Bytes   ValueKind = "bytes"
	List    ValueKind = "list"
	Dict    ValueKind = "dict"
	Struct  ValueKind = "struct"
)