Skip to content

Add basic typechecking#72

Merged
MarcellPerger1 merged 126 commits into
mainfrom
add-typechecking
Jul 23, 2026
Merged

Add basic typechecking#72
MarcellPerger1 merged 126 commits into
mainfrom
add-typechecking

Conversation

@MarcellPerger1

@MarcellPerger1 MarcellPerger1 commented Jun 15, 2025

Copy link
Copy Markdown
Owner
  • Added basic typechecking
  • Resolve TODOs in code
  • Split into several modules
  • Add a few unittests
  • Add e2e test using example 2 (will require some modifications though)
  • Add fuzzing

For now the typechecking is very basic and proof-of-concept. We may need to create a typed AST.

@MarcellPerger1 MarcellPerger1 added T-feature A new feature A-TypeChecking Area: Type checking/name resolution labels Jun 15, 2025
@MarcellPerger1

Copy link
Copy Markdown
Owner Author

Ok, so need to fix the snapshot-fmt to be same as before for the untyped AST.

Still needs the big refactor though, see #84
@MarcellPerger1

MarcellPerger1 commented Jul 23, 2026

Copy link
Copy Markdown
Owner Author

Oops, it didn't find the corpus directory. That'll be fixed in next commit once I upload the new corpus from the 5M iteration run. (In a few hours, it is going at 1200 exec/s at the moment)

@MarcellPerger1
MarcellPerger1 merged commit 9f7ffcb into main Jul 23, 2026
5 checks passed
@MarcellPerger1
MarcellPerger1 deleted the add-typechecking branch July 23, 2026 16:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-TypeChecking Area: Type checking/name resolution T-feature A new feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant