443 commits

Author	SHA1	Message	Date
Richard Feldman	5a2ba77406	Drop redundant #[test] annotation	2020-10-25 21:45:34 -04:00
Richard Feldman	793a1462e9	Run more assertions in test_mono	2020-10-25 21:45:34 -04:00
Folkert	4db09b10aa	refactor ClosureLayout	2020-10-21 13:38:46 +02:00
Folkert	22dcdab222	use wrapping from closure layout to index into closure data	2020-10-21 13:31:32 +02:00
Folkert	c8c1a0678a	code gen for variably-sized closures	2020-10-21 13:01:27 +02:00
Folkert	1953f563f7	add mono tests	2020-10-21 12:38:11 +02:00
Folkert	b0121097c9	store closures in data structures	2020-10-20 20:01:01 +02:00
Folkert	3408a31453	preparations for specializing closures	2020-10-20 00:33:10 +02:00
Folkert	894f7de009	changes to closure parameter rank	2020-10-18 23:37:21 +02:00
Folkert	7b4e87a671	use layout first to determine if something is a closure	2020-10-18 23:04:28 +02:00
Folkert	fd77a18908	fix clippy thing	2020-10-18 21:06:34 +02:00
Folkert	b0ef8b9b07	clarify how we deal with a closure layout	2020-10-18 21:05:48 +02:00
Folkert	b26f778ee0	code gen for closures that are by-unification, not because they capture anything	2020-10-18 20:50:51 +02:00
Folkert	9cecfe3558	remove closes_over field	2020-10-18 20:45:28 +02:00
Folkert	4acbe876cc	centralize closure layout creation	2020-10-18 20:12:20 +02:00
Folkert	e9d9c9acc2	more clippy things	2020-10-17 23:03:15 +02:00
Folkert	1439c1a21d	clippy complaints	2020-10-17 22:37:15 +02:00
Folkert	15600a8f2b	allow byte/bool closure sizes	2020-10-17 22:35:08 +02:00
Folkert	607799b96e	steps towards closures and Effects	2020-10-17 20:53:57 +02:00
Folkert	edfc96628e	WIP	2020-10-17 14:53:57 +02:00
Folkert	6227a3480e	cleanup	2020-10-17 02:51:42 +02:00
Folkert	cfce0235f2	fix mono tests	2020-10-17 02:41:40 +02:00
Folkert	1708484eb5	fix mono tests	2020-10-17 02:39:44 +02:00
Folkert	8b490b6221	make closure layout more robust	2020-10-17 01:48:55 +02:00
Folkert	8f3d919e09	remove closures.rs	2020-10-17 00:40:28 +02:00
Folkert	defa408e83	clippy fixes	2020-10-17 00:40:01 +02:00
Folkert	e656363cc0	restrain the set of captured variables further	2020-10-16 01:42:06 +02:00
Folkert	40ffca2b7b	IT WORKS	2020-10-16 00:18:40 +02:00
Folkert	d0f031fe6c	use captured_symbols to determine the closure type	2020-10-15 16:17:59 +02:00
Folkert	6318f032df	first shot at implementing closure layout	2020-10-15 16:03:56 +02:00
Folkert	b440ab90f6	infer closure size!	2020-10-14 23:26:44 +02:00
Folkert	7f1dd80392	hook up size inference, WIP	2020-10-14 22:55:25 +02:00
Folkert	de8ad07f2e	Merge branch 'top-level-thunks' into sized-functions-inference	2020-10-14 21:58:53 +02:00
Folkert	31e963fad6	make sure that the jit is linked in when running the repl	2020-10-14 21:30:35 +02:00
Folkert	07e29eb34c	initial implementation	2020-10-14 14:43:59 +02:00
Folkert	f07fe1879b	fix problem with specializing rigids	2020-10-14 02:21:33 +02:00
Folkert	2da2c25d32	research bug with linked list and uniqueness	2020-10-14 00:49:14 +02:00
Folkert	f6106166f1	fix bug with nested lets	2020-10-14 00:32:58 +02:00
Folkert	89a1146c19	run gen tests as modules	2020-10-13 21:45:41 +02:00
Folkert	2bceaf0503	implement LayoutCache on top of ena	2020-10-13 16:10:38 +02:00
Folkert	edc0717a7d	specialize rigids	2020-10-12 23:58:39 +02:00
Folkert	9ad72d4979	fix unreported clippy warnings	2020-10-12 16:22:19 +02:00
Folkert	06bc187f8b	all tests passing + clippy satisfied	2020-10-12 01:42:03 +02:00
Folkert	40f0588696	back to a working state	2020-10-11 21:55:26 +02:00
Folkert	5b14dc73f6	allow multiple external specializations per symbol	2020-10-11 15:25:15 +02:00
Folkert	4f9b27b694	sketch of a proof of concept	2020-10-11 01:54:50 +02:00
Folkert	79d3b0ac01	cross module specialization WIP	2020-10-11 01:23:52 +02:00
Folkert	03d9a8821b	ugh clippy	2020-10-10 20:11:26 +02:00
Folkert	d346482b76	fix new clippy warnings	2020-10-10 19:59:58 +02:00
Folkert	c7b251d6b4	Merge remote-tracking branch 'origin/trunk' into gen-modules	2020-10-08 01:29:32 +02:00