typecheck

type FunctionShape struct {
	Params     []*Type
	Returns    []*Type
	IsVararg   bool
	VarargType *Type

	TypeParams []string
	TypeBounds map[string]*Type

	Struct *StructCtor
}

type Indexer struct {
	Key   *Type
	Value *Type
}

type Kind int

type LiteralValue struct {
	Base Kind
	Str  string
	Num  float64
	Bool bool
	Raw  string
}

type Options struct {
	Strict bool
	REPL   bool
}

type StructCtor struct {
	Name  string
	Shape *TableShape
}

type TableField struct {
	Key  string
	Type *Type
}

type TableShape struct {
	Fields  []TableField
	Indexer *Indexer
}

type Type struct {
	Kind Kind

	Fn    *FunctionShape
	Table *TableShape
	Union []*Type
	Lit   *LiteralValue

	Bound *Type

	AliasName string
}

type TypeError struct {
	Line    int
	Code    string
	Message string
	Got     *Type
	Want    *Type

	// Field is the path inside a table literal where a contextual check
	// failed ("age", "address.city", "[2]"); empty elsewhere.
	Field string
}

type TypeErrors struct {
	Errors []TypeError
}