feat: add typed ast - #190

Draft

r4ai wants to merge 17 commits into

mainfrom

feature/improve-ast

Commits on Jul 19, 2025

refactor: add bool and unit type
r4ai
committed
5ccca62
feat: add bool type and literal
r4ai
committed
b86b0f5
feat: split operator to binary one and unary one
r4ai
committed
5aa50c0
fix: fix compile errors
r4ai
committed
b176d91
feat: add typed ast
r4ai
committed
4e30363
feat: add typed ast
r4ai
committed
8f81b0a

Commits on Jul 20, 2025

RED: Add TypedAst type aliases and failing test for new check_expression signature

r4ai
and
claude
committed
854c2eb
GREEN: Implement check_* functions returning (TypeKind, TypedAst) tuples

r4ai
and
claude
committed
8f6034b
REFACTOR: Add helper functions and improve code documentation

r4ai
and
claude
committed
87ef38e
refactor: apply clippy
r4ai
committed
09db8d7
RED: Add TypedFunctionDefinition and TypedProgram with failing tests

r4ai
and
claude
committed
fb9836c
GREEN: Implement check_function_definition and check_program returning TypedAst

r4ai
and
claude
committed
d16df2f
REFACTOR: Clean up code and add comprehensive documentation

r4ai
and
claude
committed
aa4f4fe
Update code generator to use typed AST from type checker

r4ai
and
claude
committed
cdd7d40
feat: complete typed AST integration across compiler pipeline

r4ai
and
claude
committed
ae84ff7

Commits on Jul 21, 2025

fix: make test passes
r4ai
committed
33718a4
Merge branch 'main' into feature/improve-ast
r4ai
authored
49db11d