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`).
- 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 main2026-01-17 22:00:54 +00:00
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Summary
Test plan
make test).