Right now, we aren't enforcing type checking during compilation. The idea is to implement a basic type-checking mechanism to ensure type correctness during compilation. This will prevent operations on incompatible types and catch errors before runtime.
TODO:
- Extend
expr.ml to track variable types in expressions and statements
- Modify the parser to associate types with variables
- Implement a type-checking function that verifies type consistency during compilation in
codegen.ml
Right now, we aren't enforcing type checking during compilation. The idea is to implement a basic type-checking mechanism to ensure type correctness during compilation. This will prevent operations on incompatible types and catch errors before runtime.
TODO:
expr.mlto track variable types in expressions and statementscodegen.ml