19 commits

Author	SHA1	Message	Date
Richard Feldman	f3f5592a4c	Update snapshots	2025-11-25 10:05:41 -05:00
Richard Feldman	546a7c67f2	Fix some eval issues	2025-11-23 16:22:21 -05:00
Richard Feldman	9933217a16	Merge origin/main	2025-11-23 09:20:48 -05:00
Richard Feldman	31705b2648	Merge origin/main	2025-11-22 15:45:17 -05:00
Richard Feldman	a28786ce50	More let-generalization fixes	2025-11-20 09:07:46 -05:00
Jared Ramirez	2a2ff8d093	Cleanup	2025-11-09 09:59:56 -05:00
Jared Ramirez	9ef6e28718	Fix let polymorphism + out of order dispatch	2025-11-09 09:36:57 -05:00
Richard Feldman	4a67fc5ed6	Add new type pretty-printing	2025-11-05 21:49:32 -05:00
Jared Ramirez	8d0e05b051	Can & check stmts	2025-10-23 20:21:12 -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	9b6ac7f899	Remove builtin injection system	2025-10-09 21:45:55 -04:00
Jared Ramirez	ff11d0a636	Review snapshots & fix issues	2025-09-30 17:47:04 -04:00
Jared Ramirez	1ac7bf4239	Update snapshots	2025-09-30 17:44:47 -04:00
Jared Ramirez	56f632d509	Support external types in annos	2025-09-30 17:44:46 -04:00
Fabian Schmalzried	53f0eff1c0	run snapshot tool	2025-08-26 22:18:03 +02:00
Luke Boswell	4f509ce357	move snapshots into test/, the tool into a sub-dir	2025-08-12 17:10:31 +10:00