3851 Commits

Author	SHA1	Message	Date
Folkert	ae8b0b4a1b	use some custom types in cli_run to clarify code	2022-12-04 23:22:36 +01:00
Folkert de Vries	c1d3580b0f	Merge pull request #4674 from roc-lang/ircheck ... Type-check mono IR	2022-12-04 20:56:54 +01:00
Ayaz Hafiz	d660016b53	Clippy	2022-12-03 23:43:47 -06:00
Ayaz Hafiz	e296d35bcd	Skip testing two mono tests for now	2022-12-03 22:43:19 -06:00
Ayaz Hafiz	01dea13b49	Pretty print symbols	2022-12-03 22:33:45 -06:00
Ayaz Hafiz	b0300e4e90	Fix bug in resolving layout	2022-12-03 22:18:15 -06:00
Ayaz Hafiz	7b21936d4f	Add mono checker to tests	2022-12-03 22:10:37 -06:00
Ayaz Hafiz	6e72307736	Format problems reported by the IR checker	2022-12-03 21:35:01 -06:00
Ayaz Hafiz	a84aebf2d3	Implement a type checker for the mono IR	2022-12-03 18:24:03 -06:00
Brendan Hansknecht	8e710cb80e	disable wasm tests that are broken	2022-12-03 13:17:36 -08:00
Brendan Hansknecht	1dd0738eba	update mono test for dict again	2022-12-03 13:17:36 -08:00
Brendan Hansknecht	04bd5d6ab0	disable wasm dictionary small string test	2022-12-03 13:17:36 -08:00
Brendan Hansknecht	ab6c652360	manually do 128 bit multiplication to avoid bitshift and fix wasm tests	2022-12-03 13:17:36 -08:00
Brendan Hansknecht	436bfc41ed	disable glue test and update mono test	2022-12-03 13:17:36 -08:00
Brendan Hansknecht	ae58623f70	use crash to clearify unreachable state	2022-12-03 13:17:36 -08:00
Brendan Hansknecht	b4b18cda5a	fix formatting	2022-12-03 13:17:35 -08:00
Brendan Hansknecht	ac2380f6c8	swap based on dataIndex not raw hash map index	2022-12-03 13:17:35 -08:00
Brendan Hansknecht	8a30615a20	fix swap remove ordering	2022-12-03 13:17:35 -08:00
Ayaz Hafiz	24a136095c	Add Set.toList from empty test	2022-12-03 13:17:35 -08:00
Ayaz Hafiz	6adcaa2cbd	Extend ability symbol slice when merging in subs	2022-12-03 13:17:35 -08:00
Brendan Hansknecht	4befccc6b4	expand Set test cases	2022-12-03 13:17:35 -08:00
Brendan Hansknecht	cad7d8b4e9	add walkUntil and use it to implement set equality	2022-12-03 13:17:35 -08:00
Ayaz Hafiz	4159b83214	Fix imports	2022-12-03 13:17:35 -08:00
Ayaz Hafiz	2e56405c1e	Fix obligation checking for rigid able vars	2022-12-03 13:17:34 -08:00
Brendan Hansknecht	a321e36a36	update mono test for dict	2022-12-03 13:17:34 -08:00
Brendan Hansknecht	28835d5bf3	some bug fixes	2022-12-03 13:17:34 -08:00
Brendan Hansknecht	4fc0dd9dd9	add a some tests and bug fixes	2022-12-03 13:17:34 -08:00
Brendan Hansknecht	02824e92fe	add Set implementation	2022-12-03 13:17:34 -08:00
Brendan Hansknecht	cb08dca6f1	Add an indexmap like dict to roc	2022-12-03 13:17:34 -08:00
Ayaz	c61c42bff7	Merge pull request #4661 from roc-lang/roc-test-dev ... `test` has `dev` behavior, and `dev` does not exit if there are warnings	2022-12-03 12:26:00 -06:00
Folkert de Vries	24e4048cb5	Merge pull request #4660 from roc-lang/linux-stub-lib ... Linux stub lib	2022-12-03 10:50:12 +01:00
Ayaz	012810d7e8	Merge pull request #4664 from roc-lang/i2551 ... Ensure that llvm gen_ wrappers account different recursive pointers	2022-12-02 17:39:26 -06:00
Ayaz Hafiz	7562525e96	Bugfix match	2022-12-02 16:31:47 -06:00
Ayaz Hafiz	304b88cdb2	Fix bug in expect test	2022-12-02 16:20:56 -06:00
Ayaz Hafiz	705ce10085	New problem dropped	2022-12-02 14:14:18 -06:00
Ayaz Hafiz	66419e8f29	The yeah yeah yeahs	2022-12-02 14:11:58 -06:00
Ayaz Hafiz	8e2c2e1809	It's an error to expose values that aren't defined	2022-12-02 14:11:58 -06:00
Ayaz Hafiz	845a2f8c75	Report warnings in roc test	2022-12-02 14:11:58 -06:00
Ayaz Hafiz	37c689841a	dev/test don't exit early for warnings	2022-12-02 14:11:58 -06:00
Ayaz Hafiz	c351be3230	Import in test reporting	2022-12-02 14:11:58 -06:00
Ayaz Hafiz	7e512077e7	Fix imports for repl	2022-12-02 14:11:58 -06:00
Ayaz Hafiz	39f89e3d65	Get severity from type problem variants	2022-12-02 14:11:58 -06:00
Ayaz Hafiz	5414b4b60f	Fix imports	2022-12-02 14:11:58 -06:00
Ayaz Hafiz	e438fbf37c	Enumerate severity on problem variants	2022-12-02 14:11:57 -06:00
Ayaz Hafiz	0a4ec1958b	roc test stops if there are type errors	2022-12-02 14:11:57 -06:00
Ayaz	b5a195eaf0	Merge pull request #4650 from roc-lang/detect-reachable-by-recursion-only ... Provide warning for defs that are used only in (mutual) recursion	2022-12-02 13:39:52 -06:00
Ayaz Hafiz	3685ad2ed2	Ensure that llvm gen_ wrappers account different recursive pointers ... Closes #2551	2022-12-02 13:38:32 -06:00
Ayaz Hafiz	5cfbc49ebf	Remove needless hole translation	2022-12-02 12:21:44 -06:00
Ayaz Hafiz	52c858dc53	Remove aliases in partial procs ... This is no longer needed	2022-12-02 12:19:13 -06:00
Ayaz Hafiz	0f6f34983f	Remove stale comment	2022-12-02 11:50:12 -06:00