refactor: make lambda expression types immutable #38

Merged
mvhutz merged 1 commits from refactor/immutable-expressions into main 2026-01-17 22:00:54 +00:00
Owner

Summary

  • Change Abstraction, Application, and Variable to use private fields with getter methods.
  • Return value types instead of pointers from constructors.
  • Update all type switches to match value types instead of pointer types.

Test plan

  • All existing tests pass (make test).
## Summary - Change Abstraction, Application, and Variable to use private fields with getter methods. - Return value types instead of pointers from constructors. - Update all type switches to match value types instead of pointer types. ## Test plan - [x] All existing tests pass (`make test`).
mvhutz added 1 commit 2026-01-17 21:29:29 +00:00
- Change Abstraction, Application, and Variable to use private fields with getter methods
- Return value types instead of pointers from constructors
- Update all type switches to match value types instead of pointer types
- Remove pointer equality optimizations (not applicable with immutable values)
- Return empty set instead of nil from GetFreeVariables default case
mvhutz merged commit e85cf7ceff into main 2026-01-17 22:00:54 +00:00
mvhutz deleted branch refactor/immutable-expressions 2026-01-17 22:00:54 +00:00
Sign in to join this conversation.