291 Commits

Author	SHA1	Message	Date
Folkert	3bbf1a5506	use UnionTags for recursive tag unions	2021-08-12 20:50:33 +02:00
Folkert	6c0860b6bf	milestone all but one gen tests passing	2021-08-11 21:50:11 +02:00
Folkert	0e66995437	Merge remote-tracking branch 'origin/trunk' into tags-soa-phase-0	2021-08-11 17:25:00 +02:00
Folkert	83ad331bb1	remove chase_record_ext_var	2021-08-07 15:35:57 +02:00
Richard Feldman	49aa0b8ffd	Eliminate a Vec in record solving	2021-08-07 08:35:43 -04:00
Folkert	7a44572ebc	make occurs return Result to use the ? operator	2021-08-07 13:56:16 +02:00
Folkert	ad3d006a11	use a SubsIndex instead of Box	2021-08-07 13:50:53 +02:00
Folkert	fe773995c8	make VariableSubsSlice	2021-08-07 13:12:39 +02:00
Folkert	69c224843e	all the work	2021-08-07 00:51:53 +02:00
Folkert	efab1ef2ca	implement	2021-08-04 00:33:05 +02:00
Folkert	f301de5576	assert type sizes	2021-08-03 22:16:27 +02:00
Folkert	ceb5cc66fa	use IdentStr	2021-08-03 21:14:36 +02:00
Folkert	9361f45610	use IdentStr for TagName	2021-08-03 19:28:28 +02:00
Folkert	0f3b9c01fa	RecordFields makes things bigger	2021-08-03 00:25:33 +02:00
Folkert	54198d7da1	one more shrinkage	2021-08-02 23:05:22 +02:00
Folkert de Vries	892447b08c	Merge branch 'trunk' into shrink-type-error	2021-08-02 23:02:28 +02:00
Folkert	06f07700d4	box errors in flat type	2021-08-02 22:27:24 +02:00
Folkert	9581195c1b	Revert "turn vec into boxed slice" ... This reverts commit fd9d57d314.	2021-08-02 22:21:31 +02:00
Folkert	fd9d57d314	turn vec into boxed slice	2021-08-02 22:21:23 +02:00
Folkert	203c5b53be	add a box in type Problem	2021-08-02 22:13:20 +02:00
Folkert	935464d7cf	add type checker size tests	2021-08-02 22:09:31 +02:00
Folkert	b4a0881b4d	Merge remote-tracking branch 'origin/trunk' into records-soa	2021-08-01 20:35:24 +02:00
Folkert	cf5c38699b	cleanup	2021-08-01 20:34:35 +02:00
Folkert	dfaaa21e81	use RecordFields	2021-08-01 17:50:38 +02:00
Folkert	e1a36ea712	instantiate rigids more intelligently	2021-07-31 22:38:11 +02:00
Folkert	35404bd25f	use get_content_without_compacting more	2021-07-30 22:15:17 +02:00
Folkert	e805e63db6	typos	2021-07-30 16:54:22 +02:00
Folkert	899cbeabd7	fix extra ampersands	2021-07-29 17:32:08 +02:00
Folkert de Vries	d5c6fc7179	Merge branch 'trunk' into performance-tweaks	2021-07-22 22:43:16 +02:00
Folkert	c398adedf6	get rid of ImMap in Solve	2021-07-21 20:51:06 +02:00
Folkert	c87f984d0a	some unsafe to make fewer clones	2021-07-21 19:37:09 +02:00
Folkert	212f032e96	optimize adjust_rank	2021-07-21 18:43:58 +02:00
Jared Ramirez	67eef2c97f	Merge branch 'trunk' of https://github.com/rtfeldman/roc into add-dec-types	2021-07-08 16:47:42 -07:00
Chadtech	38ef2a915a	Only render exposed values	2021-06-27 20:24:05 -04:00
Jared Ramirez	4d6e5a1a4f	[WIP] Add Dec/Decimal builtin types	2021-06-23 19:30:16 -07:00
rvcas	9716096999	test: cleanup some warnings	2021-06-15 19:34:15 -04:00
Anton-4	314503cf7f	fixed typos, added typos checking to CI	2021-06-05 20:02:54 +02:00
Folkert	f480919186	Merge remote-tracking branch 'origin/trunk' into no-arg-tag-union-func	2021-05-24 14:44:32 +02:00
Richard Feldman	a7518a675a	Clean up some clippy warnings	2021-05-23 20:28:23 -04:00
tarjei	a53c7b5546	Add FunctionOrTagUnion case to all matches	2021-05-23 20:52:38 +02:00
Eric Henry	d34f984169	Starting to add no arg tag union	2021-05-17 17:07:19 -04:00
Folkert	48f392f372	fix bad test examples using unbound type alias variables	2021-05-05 19:54:10 +02:00
Folkert	13dfa79c5d	re-enable rigid test	2021-05-05 15:14:30 +02:00
Folkert	b76ea0b9d9	re-enable test	2021-05-05 15:13:33 +02:00
Folkert	31647f61f9	enable new test	2021-05-05 15:11:30 +02:00
Folkert	0ec1c49042	slightly optimize rank calculation	2021-05-05 15:02:52 +02:00
Folkert	149ddf7309	add test case	2021-05-05 14:49:00 +02:00
Folkert	61ffe687ce	introduce LambaSet variables	2021-05-05 13:54:21 +02:00
Richard Feldman	0a50b0b488	Change license to UPL-1.0 ... Closes https://github.com/rtfeldman/roc/issues/1199	2021-04-21 19:18:44 -04:00
Folkert	383f35db5a	bump bumpalo	2021-04-18 14:36:47 +02:00