2088 commits

Author	SHA1	Message	Date
Ayaz	0b6b16563f	Merge pull request #4451 from roc-lang/fix-mono-tests ... Consolidate mono test behavior in debug and release modes	2022-11-03 22:11:43 -05:00
Richard Feldman	c4baf32e51	Merge pull request #4463 from roc-lang/clippy-1.65 ... clippy 1.65	2022-11-03 20:10:53 -07:00
Richard Feldman	2110540a53	Merge pull request #4464 from joshuawarner32/fix-one_of ... Fix one_of bug, properly return MadeProgress from "when" parsing	2022-11-03 19:25:36 -07:00
Joshua Warner	311193fe70	Fix one_of error state handling	2022-11-03 20:54:08 -04:00
Folkert	f291e85ccb	revert size change	2022-11-04 00:07:11 +01:00
Folkert	5c33369d6b	formatting	2022-11-03 23:48:39 +01:00
Joshua Warner	b2bb38220b	Make parse tests for reporting tests	2022-11-03 17:24:02 -04:00
Joshua Warner	469e1dc9e3	Fix --features=parse_debug_trace	2022-11-03 17:23:52 -04:00
Folkert	134de80150	various updates	2022-11-03 17:18:27 +01:00
Folkert	ade5e6de26	remove region only used in recursion	2022-11-03 16:59:13 +01:00
Folkert	0129d4da94	remove scope only used in recursion	2022-11-03 16:58:34 +01:00
Folkert	66a1ba00eb	1.65 clippy fixes	2022-11-03 16:20:37 +01:00
Ayaz Hafiz	d114d410cb	Compile expect conditions with bool type, not continuation type	2022-11-02 16:02:39 -05:00
Ayaz Hafiz	a9bdbc968f	Fix constraining	2022-11-02 15:08:10 -05:00
Ayaz Hafiz	d811fa8e5a	Decloning party	2022-11-02 15:06:03 -05:00
Ayaz Hafiz	5ea9b145f6	More coalescing	2022-11-02 15:05:43 -05:00
Ayaz Hafiz	ef509ecc97	Inline variable	2022-11-02 15:05:43 -05:00
Ayaz Hafiz	2e07cc6c14	More signature coalescing	2022-11-02 15:05:43 -05:00
Ayaz Hafiz	2be70e6524	Even more coalescing of signatures	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	4bd77250c7	Coalesce one signature type	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	e0a2139b1e	Coalesce even more annotation types	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	a6889a4f6d	Coalesce annotation in typed function constraining	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	6c4722fe1c	Coalesce signatures in destructure constraining	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	b8b0d4f028	Inline a variable	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	f7724a7df3	Update derive tests	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	951724f476	Coalesce another signature	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	a589fbb9e7	Coalesce return type annotation in function def constraining	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	db9b29f0c8	Coalesce signatures in function def constraining	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	ce7648b344	Coalesce type signature vars in typed def constraining	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	3362763e45	Coalesce signature types in value def constraining	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	34cd1fb825	Pattern expectation takes a type index	2022-11-02 15:05:40 -05:00
Ayaz Hafiz	cbd014a98a	let_import_constraint take a type index	2022-11-02 15:05:23 -05:00
Ayaz Hafiz	2a4fca7034	First pass at expectations taking a type index	2022-11-02 15:05:22 -05:00
Ayaz Hafiz	6dc6386f77	DefTypes store slices into type indeces	2022-11-02 15:05:01 -05:00
Ayaz Hafiz	cbade622b6	exhaustive expects type index	2022-11-02 15:05:01 -05:00
Ayaz Hafiz	204ac2f8b4	Consolidate mono test behavior in debug and release modes ... Makes sure that we turn on `debug-symbols` in mono tests, and that this feature is fully respected in symbol generation, so that output in release + debug builds are the same. Closes #4435	2022-11-02 15:04:47 -05:00
Folkert de Vries	c4016547af	Merge pull request #4450 from roc-lang/simpl-exhaustiveness ... Simplify constructor recovery	2022-11-02 19:32:40 +01:00
Ayaz	27a08041e0	Merge pull request #4454 from roc-lang/list-decision-tree-fixes ... Minor cleanup and off-by-one fix for list decision trees	2022-11-02 13:21:30 -05:00
Anton-4	85ce321c4d	Merge pull request #4347 from roc-lang/benchmarks-to-nix ... moved earthly benchmarks to nix	2022-11-02 14:36:20 +01:00
Ayaz Hafiz	fc52e9582e	Fix an off-by-one modelling	2022-11-01 22:42:52 -05:00
Ayaz Hafiz	63abc4096d	Remove stale TODOs	2022-11-01 22:36:52 -05:00
Richard Feldman	ecbb8be61d	Merge pull request #4448 from roc-lang/list-patterns-decision-tree ... Decision tree compilation of list pattern matches	2022-11-01 19:26:54 -07:00
Ayaz Hafiz	666f0f8a52	Simplify constructor recovery ... This fixes a bug in the list pattern matching code that caused crashes in the presence of list guards, and simplifies the pattern splitting algorithm to avoid complexity and allocations. Previously we would place arguments-to-be-matched of constructors and lists at the front of specialized rows for exhaustiveness checking, but at the back for redundancy checking. Now, we always place them at the back - this avoids needless allocation, and is not any worse, since we can still recover the non-exhaustive witnesses by looking at the end of a list, instead of the front.	2022-11-01 17:47:22 -05:00
Folkert de Vries	190a3c2a6f	Merge pull request #4124 from roc-lang/windows-tests ... WIP windows: build tests, run some tests	2022-11-01 22:32:55 +01:00
Ayaz Hafiz	2d20c3b339	Allow too many args	2022-11-01 15:42:24 -05:00
Ayaz Hafiz	822aa71a0a	Compute list element stores lazily	2022-11-01 15:37:36 -05:00
Ayaz Hafiz	27b9dd8253	Simplify arity and branching calculation	2022-11-01 15:33:23 -05:00
Ayaz Hafiz	0706615d29	Decision tree compilation of suffixed list patterns	2022-11-01 15:22:31 -05:00
Ayaz Hafiz	b0edcc9af4	Add base gen tests for list matching compilation	2022-11-01 15:22:31 -05:00
Ayaz Hafiz	45f7cd5ad7	Make sure to update path of matched list	2022-11-01 15:22:31 -05:00