Semantic Analysis - Top Level Expressions 🝙

[CalebLItalien]

Details

Implement the immutable stage of doing semantic analysis of top level expressions. This includes function, enum, and struct.

Issue Type

• [X] Feature
• [ ] Bugfix
• [ ] Documentation
• [ ] Refactoring
• [ ] Other:

Requirements

• Enum Declarations
  • Identifier Uniqueness: Verify that the enum name does not conflict with other identifiers in the same scope.
  • Value Conflicts: Check for duplicate variants within the enum.
• Struct Declarations
  • Identifier Uniqueness: Ensure the struct name is unique within its scope.
  • Field Validation: Check that each field has a valid type and that field names are unique within the struct.
• Function Declarations
  • Signature Verification: Ensure that the function signature and function name are unique within its scope.
  • Parameter Type Checking: Verify that all parameter types are valid and properly named.
  • Return Type Validation: Confirm that the declared return type is consistent and valid.
• Also check the symbol table stack to ensure correctness of scopes

Notes

106 is a kind-of a precursor to this issue, though you could do it prior.