Skip to content

Add basic typechecking #72

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
MarcellPerger1 wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

Add basic typechecking #72

MarcellPerger1 wants to merge 6 commits into from

Conversation

@MarcellPerger1
Copy link
Owner

@MarcellPerger1 MarcellPerger1 commented Jun 15, 2025

  • Added basic typechecking
  • Resolve TODOs in code
  • 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

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

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@MarcellPerger1