1034 commits

Author	SHA1	Message	Date
Folkert	83fd1de89b	fix bug: incorrect var definition before switch	2021-01-18 23:52:58 +01:00
Folkert	0ac5a16e86	fix bug: incorrect block_of_memory layout	2021-01-18 23:41:42 +01:00
Folkert	e11b478892	fix tests	2021-01-18 22:10:21 +01:00
Folkert	cb0c5ef751	make bitcast more descriptive	2021-01-18 22:06:14 +01:00
Folkert	4f4d555197	fix complex Switch bug	2021-01-18 01:30:57 +01:00
Folkert	0b4af7e499	fix switching on the tag id	2021-01-17 21:12:46 +01:00
Folkert	8cd744342b	Merge remote-tracking branch 'origin/trunk' into nullable-tags	2021-01-17 02:37:57 +01:00
Folkert	cf0b1ba206	clippy	2021-01-17 02:29:52 +01:00
Folkert	c1265574b3	drop the tag!	2021-01-17 02:26:04 +01:00
Folkert	897bc41b6b	prepare to drop tag	2021-01-17 01:17:26 +01:00
Folkert	c1cf43eda3	simple implementation of NullableUnwrapped	2021-01-17 00:38:30 +01:00
Folkert	2ce35cca28	fix block_of_memory creation for recursive layouts	2021-01-17 00:38:30 +01:00
Folkert	c8970bbe45	remove field	2021-01-17 00:38:30 +01:00
Folkert	4dd7ea1356	add some failing tests	2021-01-17 00:38:30 +01:00
Folkert	de666c575f	refactor union layout	2021-01-16 16:31:43 +01:00
Folkert	c85fa58648	a working state again	2021-01-16 01:55:38 +01:00
Folkert	c4e2b4f5cc	clippy	2021-01-15 21:18:11 +01:00
Folkert	4202503d42	no dereference required for Cons tag_id	2021-01-15 20:51:11 +01:00
Folkert	ef3bda40c6	fix RC	2021-01-15 16:10:48 +01:00
Folkert	345ecd434b	working is_empty (without RC)	2021-01-15 15:05:39 +01:00
Richard Feldman	82101a34e7	Merge pull request #898 from rtfeldman/decision-tree-improvements ... Decision tree improvements	2021-01-14 23:53:02 -05:00
Richard Feldman	d2876b152c	Merge pull request #899 from rtfeldman/nqueens ... Nqueens	2021-01-14 23:51:53 -05:00
Richard Feldman	8ebf45040e	Merge pull request #897 from rtfeldman/stdlib-by-reference ... pass stdlib by reference	2021-01-14 22:44:52 -05:00
Folkert	167858ef06	reach the unreachable	2021-01-15 02:09:36 +01:00
Folkert	b47ccb20fd	add NullableUnion layout	2021-01-15 00:25:28 +01:00
Folkert	f4b14b0b1b	remove todo	2021-01-14 23:48:19 +01:00
Folkert	c1b5a42273	add jumps to decision tree creation	2021-01-14 16:54:34 +01:00
Folkert	ab6cb7ac93	pass stdlib by reference	2021-01-14 16:49:55 +01:00
Sébastien Besnier	fdc2b6ad86	add bitwise xor	2021-01-14 16:12:46 +01:00
Folkert	b7e044771e	clippy	2021-01-11 17:16:40 +01:00
Folkert	bfe947b07e	improve increment for rec tag unions	2021-01-11 17:14:30 +01:00
Folkert	5debaf7c30	comments	2021-01-11 16:56:02 +01:00
Folkert	a8b0f481af	improve decrement of recursive tag unions	2021-01-11 16:53:04 +01:00
Folkert	28e83f719d	add assert	2021-01-10 21:52:13 +01:00
Folkert	0cee82d25b	re-enable refcounting for recursive tags	2021-01-10 21:50:41 +01:00
Folkert	f3b8c707b1	update tests	2021-01-10 21:45:55 +01:00
Folkert	165672330d	cast read pointer to recursive field	2021-01-10 21:43:33 +01:00
Folkert	3cbac76be8	panic on invalid non-recursive tag union	2021-01-10 01:51:55 +01:00
Folkert	47128414d4	don't doubly allocate	2021-01-09 20:19:00 +01:00
Folkert	63fd71ba6e	dereference pointer to field	2021-01-09 19:56:44 +01:00
rvcas	5e69378850	fix: access at index errors	2021-01-09 11:21:52 -05:00
rvcas	56ff1fe463	feat: recursive tag unions store head on heap not stack	2021-01-09 10:54:53 -05:00
Folkert	ecd03186dc	fix i128 bug	2021-01-07 20:55:31 +01:00
Folkert	e005dbde4c	rename Unreachable -> Rethrow	2021-01-07 20:19:12 +01:00
Folkert	9dd02ea090	reenable test	2021-01-07 20:15:06 +01:00
rvcas	e34fa2fe8c	fix(gen_list): forgot to use Nat in these tests as well	2021-01-06 07:42:01 -05:00
Richard Feldman	ba9448619a	Merge branch 'trunk' into list-eq	2021-01-04 22:53:14 -05:00
rvcas	27cfd4d7ad	more test fixes	2021-01-04 15:18:49 -05:00
rvcas	0aca5ae89a	fix: fmt issue in gen_num.rs	2021-01-04 10:03:40 -05:00
rvcas	74f76fc97b	fix: needs a third argument	2021-01-04 09:54:51 -05:00