58 commits

Author	SHA1	Message	Date
Richard Feldman	03535a5786	Convert fx test to eval snapshot test for issue #8689 ... The eval snapshot test is faster and more appropriate since the bug is in the canonicalization phase. The test verifies both that the code canonicalizes correctly (no incorrect captures) and that it evaluates correctly at runtime. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>	2025-12-16 12:14:25 -05:00
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
Richard Feldman	6efd449282	Add List.join_with with type var alias dispatch	2025-12-12 09:21:52 -05:00
Richard Feldman	32aa35d6c1	Fix tag union printing syntax	2025-12-01 22:52:21 -05:00
Richard Feldman	c78329e68b	Fix .to_str() bug, add some regression tests	2025-11-30 13:11:01 -05:00
Richard Feldman	07aa38a2b1	More fixes	2025-11-26 22:42:17 -05:00
Richard Feldman	9f3d0cf24d	Merge remote-tracking branch 'origin/main' into propagate_is_eq	2025-11-26 20:31:35 -05:00
Richard Feldman	e5e6ca55b8	Merge remote-tracking branch 'origin/main' into propagate_is_eq	2025-11-26 13:29:54 -05:00
Richard Feldman	d90b24cd27	Merge remote-tracking branch 'origin/main' into fix-try-eq	2025-11-26 10:32:23 -05:00
Richard Feldman	6dfed5bc46	Report violations for string ops in interpreter	2025-11-26 00:07:08 -05:00
Richard Feldman	87203e9c7f	Improve MISSING METHOD formatting	2025-11-25 23:34:54 -05:00
Richard Feldman	bc632ef53a	Fix a bunch more stuff	2025-11-25 21:18:06 -05:00
Richard Feldman	c76b4cf639	Fix early-return regression	2025-11-24 10:20:46 -05:00
Richard Feldman	c37aa1b10c	Merge remote-tracking branch 'origin/main' into propagate_is_eq	2025-11-24 09:56:03 -05:00
Richard Feldman	bd48daaa21	Fix bug with float literal methods	2025-11-23 23:58:16 -05:00
Richard Feldman	af8a40929c	Get rid of TYPE DOES NOT HAVE METHODS error	2025-11-23 23:58:16 -05:00
Richard Feldman	80b1dea922	Fix parsing of e.g. 123.456.to_str()	2025-11-23 23:58:16 -05:00
Richard Feldman	22e277a436	Add a test of the new literal error	2025-11-23 23:58:16 -05:00
Richard Feldman	ba5047b2cc	Remove is_ne	2025-11-23 23:47:56 -05:00
Richard Feldman	d3db838c16	Test that custom equality works	2025-11-23 22:54:42 -05:00
Richard Feldman	a26b5ea217	from_nominal takes a Nominal	2025-11-23 01:22:01 -05:00
Richard Feldman	6f324c9e1e	Rename NumLiteral to Nominal	2025-11-22 14:48:53 -05:00
Richard Feldman	1f1c61091a	More number fixes	2025-11-20 00:06:05 -05:00
Richard Feldman	6aca9773b7	Fix defaulting to Dec + unification	2025-11-19 10:31:11 -05:00
Richard Feldman	ec536bc953	Merge remote-tracking branch 'origin/fix-fmt' into fold	2025-11-10 23:15:02 -05:00
Richard Feldman	f212eb79af	Add List.fold	2025-11-10 09:39:34 -05:00
Jared Ramirez	2a2ff8d093	Cleanup	2025-11-09 09:59:56 -05:00
Jared Ramirez	5e2a8350b9	Fix record regression & add back ext vars	2025-11-09 09:41:14 -05:00
Jared Ramirez	402922cd19	Record update	2025-11-09 09:40:59 -05:00
Richard Feldman	b92f8fad4d	Merge remote-tracking branch 'origin/main' into static-dispatch-nums	2025-11-06 07:49:59 -05:00
Richard Feldman	4a67fc5ed6	Add new type pretty-printing	2025-11-05 21:49:32 -05:00
Richard Feldman	a2742c58e9	Update snapshots	2025-11-05 21:48:07 -05:00
Richard Feldman	20f80c2014	Format builtin module as (builtin) in snapshots	2025-10-26 11:50:26 -04:00
Richard Feldman	c3e7f5b082	Update snapshots	2025-10-25 20:13:59 -04: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	4e72ce6064	Merge remote-tracking branch 'origin/main' into update-snapshot-format	2025-10-21 21:02:36 -04:00
Richard Feldman	2f90de33b0	Simplify format even more	2025-10-21 09:12:00 -04:00
Jared Ramirez	d2fbc1c07c	Infer static dispatch types in check	2025-10-21 08:48:30 -04:00
Richard Feldman	e929920592	Simplify snapshot format for external modules	2025-10-21 08:24:22 -04:00
Richard Feldman	83f7883ca0	Fix canonicalization bug	2025-10-20 10:27:26 -04:00
Richard Feldman	7c8a9687fd	Merge remote-tracking branch 'origin/main' into import-builtins	2025-10-19 21:55:32 -04:00
Richard Feldman	4696fff516	Fix canonicalization bug	2025-10-17 22:20:41 -04:00
Richard Feldman	e9df50a594	Use new builtins in snapshots	2025-10-17 21:35:56 -04:00
Richard Feldman	82c6562352	Merge remote-tracking branch 'origin/main' into import-builtins	2025-10-17 21:05:58 -04:00
Joshua Warner	5d0167b776	Remove line/col info from snapshots by default	2025-10-16 07:00:23 -07:00
Richard Feldman	06390e07e6	Fix tests	2025-10-13 19:25:24 -04:00
Richard Feldman	efb5f4f37d	Merge remote-tracking branch 'origin/unify-anonymous-tags' into import-builtins	2025-10-13 07:47:54 -04:00
Richard Feldman	9b6ac7f899	Remove builtin injection system	2025-10-09 21:45:55 -04:00
Richard Feldman	239d67a5a6	Simplify snapshots to use snippets	2025-10-06 16:23:18 -04:00