167 commits

Author	SHA1	Message	Date
Richard Feldman	185f372fb8	Merge remote-tracking branch 'origin/main' into remove-injection	2025-10-12 20:53:50 -04:00
Richard Feldman	645cdd349a	Merge pull request #8283 from roc-lang/test-serialization ... Test that Serialized types are the same on all targets	2025-10-12 20:39:52 -04:00
Richard Feldman	31345252b5	More ModuleEnv consistency fixes	2025-10-12 19:44:24 -04:00
Joshua Warner	504d556bb9	Move from triple-double for multiline strings to zig-like double-backslash	2025-10-12 15:51:52 -07:00
Richard Feldman	5562334ce5	test that Serialized types are platform-independent ... This test ensures that all .Serialized types have identical sizes on 32-bit and 64-bit platforms. This is critical because we serialize these types and expect them to be portable across architectures. If a Serialized type accidentally contains pointers/slices, it will have different sizes on different platforms, breaking serialization. This test catches such issues by building for both native and wasm32 targets. The test runs in CI as part of the check-once job, and can be run locally with: zig build test-serialization-sizes	2025-10-11 11:31:26 -04:00
Richard Feldman	9b6ac7f899	Remove builtin injection system	2025-10-09 21:45:55 -04:00
Richard Feldman	c55008ff08	Add new builtins to snapshot tests	2025-10-08 22:01:31 -04:00
Richard Feldman	abab38771f	Fix some snapshots	2025-10-07 14:26:06 -04:00
Richard Feldman	c4ad0970d8	Auto-expose all nested types in type modules	2025-10-07 13:43:30 -04:00
Richard Feldman	a44225d647	Make nested types be in scope in their blocks	2025-10-07 13:19:09 -04:00
Richard Feldman	db6b777253	Remove fallback logic	2025-10-07 11:14:05 -04:00
Richard Feldman	ecb6fce65a	More repl improvements	2025-10-06 23:08:58 -04:00
Richard Feldman	65a8ca1282	Eval nested types	2025-10-06 22:29:02 -04:00
Richard Feldman	e846704273	Restore type=snippet	2025-10-06 22:22:24 -04:00
Richard Feldman	43ac59ace2	Canonicalize nested types	2025-10-06 17:01:18 -04:00
Richard Feldman	cd7c1fb754	Add nested types	2025-10-06 16:55:55 -04:00
Richard Feldman	312d1ad300	Make snapshots use filename	2025-10-06 16:48:36 -04:00
Richard Feldman	f265318700	Add nested types	2025-10-06 16:44:17 -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
Richard Feldman	79ccc07770	Refactor out ValidationContext	2025-10-06 10:44:41 -04:00
Richard Feldman	30ea992a83	import type modules	2025-10-06 10:44:18 -04:00
Richard Feldman	28c787285d	Update snapshot description	2025-10-04 15:00:39 -04:00
Richard Feldman	0c189b93cf	Add type modules	2025-10-04 14:44:54 -04:00
Richard Feldman	bc2946f3b3	Add associated items	2025-10-04 13:16:56 -04:00
Jared Ramirez	8fe09d4b80	Fix last compile issues	2025-10-02 21:00:46 -04:00
Jared Ramirez	4d467ef0b4	Refactor expr num reqs + fix merge issues	2025-10-02 16:11:03 -04:00
Jared Ramirez	2c09638729	Implement patterns	2025-09-30 17:47:05 -04:00
Jared Ramirez	aac3d24c21	Fix playground test call, don't err on bad ext	2025-09-30 17:47:05 -04:00
Jared Ramirez	b8ea7e34c0	Fix playground compile	2025-09-30 17:47:04 -04:00
Jared Ramirez	ff11d0a636	Review snapshots & fix issues	2025-09-30 17:47:04 -04:00
Jared Ramirez	374b09b208	Fix merge issues, regen snapshots	2025-09-30 17:47:04 -04:00
Jared Ramirez	6815e413e4	Get mostly tests passing	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	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
Jared Ramirez	9a4e8e7689	Fix bug where rigid vars were being instantiated to flex	2025-09-30 17:44:45 -04:00
Jared Ramirez	42c9f8c3da	Misc	2025-09-30 17:44:45 -04:00
Jared Ramirez	72eed707f9	Add back match checking	2025-09-30 17:44:45 -04:00
Jared Ramirez	e27ccd3917	Add back if-else	2025-09-30 17:44:45 -04:00
Jared Ramirez	ef3225f2d0	Process type decls separately, generalize, then inst in annos	2025-09-30 17:44:45 -04:00
Jared Ramirez	fdb4fda577	Recursive nominal types	2025-09-30 17:43:52 -04:00
Jared Ramirez	d3207a6e71	Num type vars & generalization!!!	2025-09-30 17:41:35 -04:00
Jared Ramirez	ee82e2c08c	Add scope typed variables	2025-09-30 17:37:58 -04:00
Richard Feldman	b991d8fb17	Update playground tests	2025-09-29 12:41:40 -04:00
Richard Feldman	b69f3f4447	Delegate crash handling to host CrashContext	2025-09-29 07:38:31 -04:00
Richard Feldman	73d9885e0b	Convert everything over to use new interpreter	2025-09-26 20:54:43 -04:00
Richard Feldman	9142c8d69a	Restore legacy REPL implementation and float formatting	2025-09-26 09:42:48 -04:00