15 commits

Author	SHA1	Message	Date
Richard Feldman	f3f5592a4c	Update snapshots	2025-11-25 10:05:41 -05:00
Richard Feldman	a28786ce50	More let-generalization fixes	2025-11-20 09:07:46 -05:00
Jared Ramirez	d2fbc1c07c	Infer static dispatch types in check	2025-10-21 08:48:30 -04:00
Joshua Warner	5d0167b776	Remove line/col info from snapshots by default	2025-10-16 07:00:23 -07:00
Richard Feldman	239d67a5a6	Simplify snapshots to use snippets	2025-10-06 16:23:18 -04:00
Richard Feldman	0a2ba8be25	Revise some things	2025-10-06 12:08:00 -04:00
Richard Feldman	30ea992a83	import type modules	2025-10-06 10:44:18 -04:00
Jared Ramirez	4d467ef0b4	Refactor expr num reqs + fix merge issues	2025-10-02 16:11:03 -04:00
Jared Ramirez	ff11d0a636	Review snapshots & fix issues	2025-09-30 17:47:04 -04:00
Jared Ramirez	c58afd7d39	Fix tag ext and number layouts	2025-09-30 17:47:03 -04:00
Jared Ramirez	1ac7bf4239	Update snapshots	2025-09-30 17:44:47 -04:00
Jared Ramirez	193ce7b11a	Test against snapshots, fix alias unification	2025-09-30 17:44:46 -04:00
Jared Ramirez	ee82e2c08c	Add scope typed variables	2025-09-30 17:37:58 -04:00
Fabian Schmalzried	53f0eff1c0	run snapshot tool	2025-08-26 22:18:03 +02:00
Jared Ramirez	c10b7f91c1	Inline statement type annotations	2025-08-24 13:47:16 -04:00