11 commits

Author	SHA1	Message	Date
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	193ce7b11a	Test against snapshots, fix alias unification	2025-09-30 17:44:46 -04:00
Fabian Schmalzried	53f0eff1c0	run snapshot tool	2025-08-26 22:18:03 +02:00
Richard Feldman	926d9a0523	Fix a type checking bug	2025-08-15 19:15:37 -04:00
Richard Feldman	0bd77fe6af	Fix some incorrect error messages	2025-08-15 18:52:08 -04:00
Richard Feldman	90f3a088eb	More type inference fixes	2025-08-15 16:46:06 -04:00
Richard Feldman	59544e2b7a	Revise bidirectional typechecking	2025-08-15 16:21:15 -04:00
Richard Feldman	47c83c7a8f	Update snapshots	2025-08-15 15:24:57 -04:00
Richard Feldman	0f22372696	Fix lambda return constraint bug	2025-08-15 12:26:18 -04:00
Richard Feldman	4aa83629e4	Reproduce lambda return type constraints bug	2025-08-15 12:16:11 -04:00