230 commits

Author	SHA1	Message	Date
Folkert	eb9bb12725	bumpalo type_to_var	2021-11-19 19:48:51 +01:00
Folkert	2810c1fc52	clean up instantiate_rigids	2021-11-19 17:51:05 +01:00
Folkert	206c8889df	Use StorageSubs for pending specializations	2021-11-19 13:22:17 +01:00
Folkert	65e0866d0a	add assert; a returned copy must always be in the target subs	2021-11-17 16:32:20 +01:00
Folkert	237d8d1c0b	fix the Default instance for subs ... we later rely on some variables always existing (numbers, empty record, empty tag union) but the default instance did not insert those	2021-11-17 16:29:16 +01:00
Folkert	849510c42c	WIP	2021-11-16 23:55:11 +01:00
Folkert	7c4300a7a1	clarify what pending means	2021-11-15 22:43:32 +01:00
Folkert	db081cd84b	WIP	2021-11-15 20:12:48 +01:00
Folkert	6d833845f9	fix typo	2021-08-14 00:53:18 +02:00
Folkert	3e448c1b74	get rid of inefficient conversion from mutmap to uniontags	2021-08-14 00:32:01 +02:00
Folkert	4cbb1c9b25	optimize initial tag union creation	2021-08-13 23:53:27 +02:00
Folkert	df83bf0d48	Merge remote-tracking branch 'origin/soa-alias' into alias-nominal-equality	2021-08-13 12:11:36 +02:00
Folkert	c9040c012e	make things work	2021-08-13 11:04:31 +02:00
Folkert	42f04fcc77	use variablesubsslice for Apply	2021-08-12 22:49:56 +02:00
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	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	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	a47f9baef4	Merge remote-tracking branch 'origin/trunk' into alias-nominal-equality	2021-07-31 22:59:01 +02:00
Folkert	e1a36ea712	instantiate rigids more intelligently	2021-07-31 22:38:11 +02:00
Folkert	099f684a92	add comment	2021-07-31 17:36:41 +02:00
Folkert	0a0442657f	cleanup	2021-07-30 23:44:42 +02:00
Folkert	894ef2b7b2	Merge remote-tracking branch 'origin/trunk' into alias-nominal-equality	2021-07-30 23:34:16 +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	2af648487c	better error message when rank of recvar is too high	2021-07-30 16:38:02 +02:00
Folkert	13b05e54e8	Merge remote-tracking branch 'origin/clippy-1.54' into alias-nominal-equality	2021-07-30 14:25:50 +02:00
Folkert	899cbeabd7	fix extra ampersands	2021-07-29 17:32:08 +02:00
Folkert	27c3d57e35	BROKEN	2021-07-29 17:22:25 +02:00
Folkert	aac0e2d9f9	add lambda set vars to host exposed alias	2021-07-29 14:55:10 +02:00
Folkert	b186ccc370	disable Nat for now	2021-07-29 14:41:22 +02:00
Folkert	814cf8700b	use hardcoded integers from subs if rank matches	2021-07-29 14:29:33 +02:00
Folkert	4cefbec5c7	store lambda set in alias types	2021-07-28 15:26:25 +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
Chadtech	38ef2a915a	Only render exposed values	2021-06-27 20:24:05 -04:00
Anton-4	314503cf7f	fixed typos, added typos checking to CI	2021-06-05 20:02:54 +02:00