332 commits

Author	SHA1	Message	Date
Richard Feldman	f212eb79af	Add List.fold	2025-11-10 09:39:34 -05:00
Richard Feldman	690fa39db2	Improve error message even more	2025-11-09 21:32:52 -05:00
Richard Feldman	3ff8c3f5af	Fix origin of binop_plus	2025-11-09 21:19:31 -05:00
Richard Feldman	0704b63db0	Improve an error message	2025-11-09 20:36:45 -05:00
Richard Feldman	e5e75f4e6a	Update ModuleEnv serialized size	2025-11-09 17:03:17 -05:00
Jared Ramirez	2a2ff8d093	Cleanup	2025-11-09 09:59:56 -05:00
Jared Ramirez	6b820e475c	Fix scoped type variables	2025-11-09 09:41:14 -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	eaa5c17f64	Support forward references in czer	2025-11-09 09:39:41 -05:00
Jared Ramirez	5570184040	Support czer + type checking out of order defs	2025-11-09 09:37:54 -05:00
Jared Ramirez	9ef6e28718	Fix let polymorphism + out of order dispatch	2025-11-09 09:36:57 -05:00
Richard Feldman	d0e1d2dd6a	Fix Ubuntu CI panic and update snapshots	2025-11-08 21:25:42 -05:00
Richard Feldman	ba3e667e5b	Fix Ubuntu CI	2025-11-08 18:50:11 -05:00
Richard Feldman	0c0c2e8cb4	More fixes	2025-11-08 15:57:16 -05:00
Richard Feldman	6efc03e56b	More fixes	2025-11-08 11:21:25 -05:00
Richard Feldman	8b2ca640e2	Update tests	2025-11-07 22:39:28 -05:00
Richard Feldman	8b62182e5d	Get more List.get stuff working	2025-11-07 15:48:23 -05:00
Richard Feldman	69e1408de8	Fix CI	2025-11-06 08:28:25 -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	c1b7650029	Improve platform modules	2025-11-03 18:53:09 -05:00
Richard Feldman	2511cb8c7a	Revert "Fix repl" ... This reverts commit 948929e048.	2025-11-02 21:41:24 -05:00
Richard Feldman	2a869b3cdd	Revert "Fix repl interpreting of builtins" ... This reverts commit 92c9f7da1d.	2025-11-02 21:41:09 -05:00
Richard Feldman	dae4065f3f	Revert "Fix some repl tests" ... This reverts commit 0c2cb84b79.	2025-11-02 21:40:59 -05:00
Richard Feldman	f33e8fdbac	Revert "wip" ... This reverts commit d39e990c20.	2025-11-02 21:40:55 -05:00
Richard Feldman	d39e990c20	wip	2025-11-02 21:40:51 -05:00
Richard Feldman	0c2cb84b79	Fix some repl tests	2025-11-01 15:17:42 -04:00
Richard Feldman	92c9f7da1d	Fix repl interpreting of builtins	2025-11-01 12:36:51 -04:00
Richard Feldman	948929e048	Fix repl	2025-10-31 23:01:22 -04:00
Richard Feldman	52287f1874	Fix a confusing type mismatch	2025-10-31 21:20:06 -04:00
Richard Feldman	17adbc270b	Fix a regression in duplicate definition detection	2025-10-31 20:39:16 -04:00
Richard Feldman	36ca8c1f43	Merge remote-tracking branch 'origin/main' into builtin-low-level	2025-10-31 19:55:46 -04:00
Richard Feldman	0ae5af9ed2	Fix stray "Builtin" appeareances in output	2025-10-31 14:20:37 -04:00
Richard Feldman	03b826aab7	More annotation-only tests	2025-10-31 11:52:11 -04:00
Richard Feldman	a283124cf9	Add some snapshots	2025-10-31 10:51:10 -04:00
Anton-4	265c51c00d	Merge branch 'main' into more-cli-binary-tests	2025-10-31 10:16:57 +01:00
Richard Feldman	0faa026aa5	Fix some canonicalization bugs	2025-10-30 23:07:29 -04:00
Richard Feldman	9625e00282	Try renaming Result to Try	2025-10-30 20:50:36 -04:00
Richard Feldman	a2290d3bf8	Try renaming Result to Try	2025-10-30 20:18:53 -04:00
Richard Feldman	603f5cf9fe	Clarify an error message	2025-10-30 18:59:58 -04:00
Richard Feldman	e9991632fc	Fix an error message regression	2025-10-30 18:47:48 -04:00
Richard Feldman	9b50370bf7	Fix a missing duplicate definition case (w/ hack)	2025-10-30 18:26:06 -04:00
Richard Feldman	ae7105bb00	Say "also" sometimes in an error	2025-10-30 17:56:50 -04:00
Richard Feldman	476478b4dd	Improve an error message	2025-10-30 17:11:43 -04:00
Richard Feldman	d070102975	Merge remote-tracking branch 'origin/main' into nested-builtins	2025-10-30 16:57:22 -04:00
Richard Feldman	8a06eb8354	Fix duplicate definition errors for types	2025-10-30 16:56:51 -04:00
Richard Feldman	9a5bdc2631	Revert "Hack to fix duplicate definition" ... This reverts commit 409d1eefe2.	2025-10-30 16:46:02 -04:00