34 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	07aa38a2b1	More fixes	2025-11-26 22:42:17 -05:00
Richard Feldman	9f3d0cf24d	Merge remote-tracking branch 'origin/main' into propagate_is_eq	2025-11-26 20:31:35 -05:00
Richard Feldman	e5e6ca55b8	Merge remote-tracking branch 'origin/main' into propagate_is_eq	2025-11-26 13:29:54 -05:00
Richard Feldman	87203e9c7f	Improve MISSING METHOD formatting	2025-11-25 23:34:54 -05:00
Richard Feldman	2b4a34483d	Add some tests	2025-11-25 11:18:59 -05:00
Richard Feldman	446be34ef6	Merge remote-tracking branch 'origin/main' into propagate_is_eq	2025-11-25 11:06:10 -05:00
Richard Feldman	cb35a9f872	Finish implementing from_num_literal	2025-11-21 16:31:57 -05:00
Richard Feldman	1f1c61091a	More number fixes	2025-11-20 00:06:05 -05:00
Richard Feldman	86672e72e3	wip	2025-11-19 09:48:01 -05:00
Richard Feldman	dd765a820d	Fix some nominal str things	2025-11-16 23:27:48 -05:00
Jared Ramirez	9ef6e28718	Fix let polymorphism + out of order dispatch	2025-11-09 09:36:57 -05:00
Richard Feldman	33e8a68271	Revise how external nominals work	2025-10-25 11:17:49 -04:00
Richard Feldman	09432d8703	More fixes	2025-10-24 20:51:13 -04:00
Richard Feldman	5aafd27d26	Initial Str.roc implementation and wiring	2025-10-23 13:34:15 -04: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
Luke Boswell	6f06efebf3	update snapshots	2025-10-15 12:19:01 +11: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	c58afd7d39	Fix tag ext and number layouts	2025-09-30 17:47:03 -04:00
Jared Ramirez	56f632d509	Support external types in annos	2025-09-30 17:44:46 -04:00
Jared Ramirez	a32b4c5625	Correctly track and unify number requirements	2025-09-30 17:44:46 -04:00
Fabian Schmalzried	53f0eff1c0	run snapshot tool	2025-08-26 22:18:03 +02:00
Richard Feldman	f7115b3b0f	More error message improvements	2025-08-15 20:59:40 -04:00
Richard Feldman	95b43f2aea	Update some error message wording	2025-08-15 20:00:05 -04: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	cc597648a0	More error message improvements	2025-08-15 18:17:01 -04:00
Richard Feldman	9a3bb0face	Update snapshots	2025-08-15 18:07:23 -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	7d3562e0fd	Add some snapshot tests	2025-08-15 14:59:37 -04:00