Expand description
SolScript Type Checker
This crate provides type checking and semantic analysis for SolScript programs.
Structs§
- Contract
Def - Contract type definition
- EnumDef
- Enum type definition (Solidity-style: simple variants only)
- Error
Def - Error type definition
- Error
Param - Error parameter
- Event
Def - Event type definition
- Event
Param - Event parameter
- Function
Type - A function type
- Interface
Def - Interface type definition
- Modifier
Type - Modifier type definition
- Named
Type - A named type (struct, enum, contract, interface)
- Scope
- A scope in the symbol table
- Struct
Def - Struct type definition
- Symbol
Table - The symbol table managing nested scopes
- Type
Checker - The type checker
- TypeId
- A unique identifier for a type
- TypeVar
- A type variable for inference
Enums§
- Primitive
Type - Primitive types (Solidity-style)
- Scope
Kind - The kind of scope
- Symbol
- A symbol in the symbol table
- Type
- The core type representation
- TypeDef
- Type definitions (for structs, enums, etc.)
- Type
Error - A type checking error
Functions§
- typecheck
- Type check a SolScript program