Impure inspection#199

Open

Trinketer22 wants to merge 32 commits intoton-blockchain:mainfrom

Trinketer22:impure_inspection

Commits on Nov 3, 2025

Minor grammar edits
Trinketer22
committed
Make var_declaration be child type of all variable decls
Trinketer22
committed
Grammar build
Trinketer22
committed
Support for tensor expression declarations
Trinketer22
committed
Extended parent and sibling search utils
Trinketer22
committed
Basic impure inspection
Trinketer22
committed
Basic bind resolution
Trinketer22
committed
Method call support for binding resolver
Trinketer22
committed
Make use of binding resolver
Trinketer22
committed
LHS only bindings for modifying methods
Trinketer22
committed
Global file search and results caching
Trinketer22
committed
Add diagnostics code
Trinketer22
committed
Add impure inspection into inspection chain
Trinketer22
committed
Import BindResolver via @server
Trinketer22
committed
Lint
Trinketer22
committed
Lint readonly type fields
Trinketer22
committed

Commits on Nov 6, 2025

[Fix] bind tensor_vars_declaration node with var childnren only
Trinketer22
committed
[Fix] Check bound values in call-specific manner
Trinketer22
committed

Commits on Nov 7, 2025

tuple_expression->typed_tuple
Trinketer22
committed
Nested tuple declarations
Trinketer22
committed
Put expressions in tuple and tensor in named node
Trinketer22
committed
Recursive reference check
Trinketer22
committed
Grouped expression in assingment destructor
Trinketer22
committed

Commits on Nov 10, 2025

Simplify nested expressions prior to binding
Trinketer22
committed

Commits on Nov 11, 2025

Remove TODO unhandled assertion
Trinketer22
committed

Commits on Nov 12, 2025

Recursively simplify vars lhs and grouped_expression
Trinketer22
committed
Add optional type inference during return type binding
Trinketer22
committed
Fix call ref assesment early termination
Trinketer22
committed
Make test runner generic
Trinketer22
committed
Allow server to pre-load FunC stdlib
Trinketer22
committed
Add impure inspection test
Trinketer22
committed
Revert "Grammar build"
Trinketer22
committed