243 commits

Author	SHA1	Message	Date
Folkert	26da66d73f	remove from_mutmap	2021-08-13 15:42:43 +02:00
Richard Feldman	0f42da7b7b	Merge pull request #1510 from rtfeldman/alias-nominal-equality ... Alias nominal equality	2021-08-13 08:50:38 -04:00
Folkert	24ddc4b1e8	further optimizations	2021-08-13 13:25:36 +02:00
Folkert de Vries	3ac646f2a6	Merge branch 'trunk' into soa-alias	2021-08-13 13:13:42 +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	67182baa81	add new AliasVariables type	2021-08-13 10:07:58 +02:00
Richard Feldman	bf38493d65	Make is_empty const	2021-08-12 21:39:57 -04:00
Folkert	c8007201b0	shrink FlatType further	2021-08-12 23:13:32 +02:00
Folkert	42f04fcc77	use variablesubsslice for Apply	2021-08-12 22:49:56 +02:00
Folkert	c058368a6d	optimize tag union type -> layout conversion	2021-08-12 21:32:23 +02:00
Folkert	3bbf1a5506	use UnionTags for recursive tag unions	2021-08-12 20:50:33 +02:00
Folkert	e86cc22024	add empty variable slice at index 0	2021-08-12 19:35:33 +02:00
Folkert	0643efa571	clippy	2021-08-11 22:04:43 +02:00
Folkert	1d32be0818	all tests pass	2021-08-11 21:59:23 +02:00
Folkert	6c0860b6bf	milestone all but one gen tests passing	2021-08-11 21:50:11 +02:00
Folkert	56b699fcf3	add iterator helpers	2021-08-11 20:35:36 +02:00
Folkert	fd3ccaeabe	add helper functions	2021-08-11 20:35:02 +02:00
Folkert	903ac405a3	short_circuit_help	2021-08-11 20:24:10 +02:00
Folkert	823824c62d	add index for variables slice	2021-08-11 20:11:50 +02:00
Folkert	4386d3d5f4	add write_ext_content	2021-08-11 20:10:22 +02:00
Folkert	83ad331bb1	remove chase_record_ext_var	2021-08-07 15:35:57 +02: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	dd73428dc1	UnionTags	2021-08-07 13:26:52 +02:00
Folkert	fe773995c8	make VariableSubsSlice	2021-08-07 13:12:39 +02:00
Folkert	c09acb255c	also sort by stack size	2021-08-07 13:08:55 +02:00
Folkert	524bde64d0	cleanup and comments	2021-08-07 01:31:40 +02:00
Folkert	e0039b94c9	clippy	2021-08-07 01:12:42 +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	ad12e1e509	more basic infra	2021-08-03 22:59:24 +02:00
Folkert	e1fc9322d9	add SubsSlice type	2021-08-03 22:49:05 +02:00
Folkert	f301de5576	assert type sizes	2021-08-03 22:16:27 +02:00
Folkert	d4896d3ed2	remove inlinable_string dependency	2021-08-03 21:24:19 +02:00
Folkert	ceb5cc66fa	use IdentStr	2021-08-03 21:14:36 +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	cf5c38699b	cleanup	2021-08-01 20:34:35 +02:00
Folkert	dfaaa21e81	use RecordFields	2021-08-01 17:50:38 +02:00
Folkert	e4ca720c02	implement more on RecordFields	2021-08-01 13:26:56 +02:00
Folkert	fb6170567e	SoA record fields	2021-08-01 12:12:02 +02:00
Folkert	a47f9baef4	Merge remote-tracking branch 'origin/trunk' into alias-nominal-equality	2021-07-31 22:59:01 +02:00
Folkert	0c628db882	clippy	2021-07-31 12:17:58 +02:00
Richard Feldman	f22da2e5b2	Drop a clone in occurs	2021-07-30 23:36:58 -04:00
Richard Feldman	30fbc12c9f	Drop some more clones	2021-07-30 23:36:58 -04:00