254 commits

Author	SHA1	Message	Date
Folkert	55f8a7f3a4	implement print of FunctionOrTagUnion	2021-10-13 14:50:21 +02:00
Folkert	6a43be26d3	fix usize vs. u32/u64 conflict	2021-08-25 20:58:42 +02:00
Folkert	aa042f3357	better debug info for a mismatch	2021-08-20 22:41:43 +02:00
Richard Feldman	0bebb64bae	Merge branch 'trunk' into NumBytesTo	2021-08-19 01:37:39 -04:00
Folkert	6284a90785	a working version	2021-08-18 17:36:27 +02:00
Folkert	4e728c7222	add records to subs debug format	2021-08-18 14:48:30 +02:00
Joshua Hoeflich	1b04ad0535	Merge branch 'trunk' into NumBytesTo	2021-08-14 20:41:33 -05:00
Joshua Hoeflich	5115a004ed	Type shenanigans work	2021-08-14 18:50:55 -05:00
Richard Feldman	bb7726b0e0	Merge branch 'trunk' into store-bool-closure-as-unit	2021-08-14 16:47:42 -04:00
Folkert	db877c7395	debug impl for the new Subs	2021-08-14 15:54:37 +02:00
Folkert	4cbb1c9b25	optimize initial tag union creation	2021-08-13 23:53:27 +02:00
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