75 commits

Author	SHA1	Message	Date
Jared Ramirez	1bab912af0	Error if using nominal types outside origin module	2025-12-03 17:10:22 -05:00
Richard Feldman	fe5100415d	Fix some type writing bugs	2025-12-02 01:06:06 -05:00
Richard Feldman	9771a7063b	Consistently use TypeWriter for writing types	2025-12-02 00:21:09 -05:00
Richard Feldman	32aa35d6c1	Fix tag union printing syntax	2025-12-01 22:52:21 -05:00
Richard Feldman	dcfb419e47	Fix open unions bug	2025-12-01 22:26: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	87203e9c7f	Improve MISSING METHOD formatting	2025-11-25 23:34:54 -05:00
Richard Feldman	2db36ae5c1	Fix some type variable rendering logic	2025-11-25 23:22:58 -05:00
Richard Feldman	daffd248ed	Fix method subject type rendering	2025-11-25 23:12:42 -05:00
Richard Feldman	5ffde5f550	Remove a bunch of string hacks	2025-11-25 21:03:22 -05:00
Richard Feldman	2c2e1e6ebc	Fix some comparisons	2025-11-25 20:50:26 -05:00
Richard Feldman	c3b268bd99	Update snapshots	2025-11-25 20:20:34 -05:00
Richard Feldman	af8a40929c	Get rid of TYPE DOES NOT HAVE METHODS error	2025-11-23 23:58:16 -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	259ddb5399	Fix some more eval stuff	2025-11-21 09:31:39 -05:00
Richard Feldman	1f1c61091a	More number fixes	2025-11-20 00:06:05 -05:00
Richard Feldman	e5153d7624	Use static dispatch for arithmetic	2025-11-19 12:29:55 -05:00
Richard Feldman	6aca9773b7	Fix defaulting to Dec + unification	2025-11-19 10:31:11 -05:00
Richard Feldman	1159bf908d	Fix tests	2025-11-16 23:19:01 -05:00
Anton-4	824c243d06	more Result>Try updates (#8382) ... * more Result>Try updates * [WIP] Fix typo in Try variable names (#8383) * Initial plan * Add exception for 'Trys' to typos.toml Co-authored-by: Anton-4 <17049058+Anton-4@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: Anton-4 <17049058+Anton-4@users.noreply.github.com> * not this one --------- Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>	2025-11-14 17:10:55 +01:00
Fabian Schmalzried	a55b048dad	Change the handling of invalid single quote to improve error messages. (#8370) ... * add value_not_exposed report * Change handling of invalid single-quote. * fix typo	2025-11-11 13:42:35 +01: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
Jared Ramirez	b1b70e113b	Fix ext record checking	2025-11-09 09:39:41 -05:00
Jared Ramirez	9ef6e28718	Fix let polymorphism + out of order dispatch	2025-11-09 09:36:57 -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	e9991632fc	Fix an error message regression	2025-10-30 18:47:48 -04:00
Richard Feldman	c9e269844c	Fix source location	2025-10-30 11:19:56 -04:00
Richard Feldman	356b1ffca4	Tweak error message	2025-10-28 07:09:35 -04:00
Richard Feldman	47512d2079	Update snapshot EXPECTED sections	2025-10-23 22:35:56 -04:00
Jared Ramirez	ce92b3b9e9	Add unused value error message	2025-10-23 20:21:12 -04:00
Richard Feldman	4e72ce6064	Merge remote-tracking branch 'origin/main' into update-snapshot-format	2025-10-21 21:02:36 -04:00
Jared Ramirez	040c17ef60	Propagate errors correctly in function return types	2025-10-21 18:43:11 -04:00
Jared Ramirez	d2fbc1c07c	Infer static dispatch types in check	2025-10-21 08:48:30 -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
Fabian Schmalzried	37e7e70fb9	Merge remote-tracking branch 'base/main' into type_cleanup	2025-10-18 15:41:44 +02: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
Fabian Schmalzried	9ef2122d44	run snapshot tool	2025-10-15 13:24:23 +00: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
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