Module semantic 

Semantic analysis module for Shape

This module performs type checking, symbol resolution, and validation of the parsed AST before execution.

Modules

symbol_table

Symbol table for tracking identifiers and their types

types

Type system for Shape

validator

Semantic validation rules for Shape

Structs

SemanticAnalyzer

The main semantic analyzer

TypeWarning

A warning generated during type checking (not an error)

Functions

type_annotation_to_type

Convert a TypeAnnotation from the AST to a semantic Type

type_annotation_to_type_with_aliases

Convert a TypeAnnotation to a semantic Type, resolving type aliases via symbol table