7 commits

Author	SHA1	Message	Date
Richard Feldman	641f4db0b0	Update snapshots for nominal pattern bound variable fix ... The fix correctly identifies that variables bound inside nominal patterns (like `s` in `Container.Box(s)`) are bound in the pattern scope and don't need to be captured. This results in cleaner canonical IR where functions that use nominal pattern matching are now represented as pure lambdas instead of closures with unnecessary captures. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>	2025-12-16 07:55:22 -05:00
Jared Ramirez	9ef6e28718	Fix let polymorphism + out of order dispatch	2025-11-09 09:36:57 -05:00
Richard Feldman	8b2ca640e2	Update tests	2025-11-07 22:39:28 -05:00
Richard Feldman	33e8a68271	Revise how external nominals work	2025-10-25 11:17:49 -04:00
Richard Feldman	09432d8703	More fixes	2025-10-24 20:51:13 -04:00
Richard Feldman	c367172446	Fix some memory leaks	2025-10-24 16:56:46 -04:00
Richard Feldman	72c0d809a6	Improve a snapshot	2025-10-23 23:58:14 -04:00

Renamed from test/snapshots/static_dispatch/CrossModule.md (Browse further)