3354 commits

Author	SHA1	Message	Date
Folkert	6d866ff58d	so defs get different treatment...	2020-10-19 15:44:32 +02:00
Richard Feldman	f11479d255	Clippy makes a good point.	2020-10-19 00:01:33 -04:00
Richard Feldman	db2d99f56d	Merge branch 'trunk' into platform	2020-10-18 23:59:44 -04:00
Richard Feldman	dfa61b4c18	Parse platform headers	2020-10-18 23:55:49 -04:00
Chad Stearns	bf81e67a89	WIP on Str.split	2020-10-18 21:12:08 -04:00
Chad Stearns	7ecdf5ca35	Removed low level op from bitcode call function. Sometimes the bitcode does not correspond to an op, and also, the op is only used for debugging purposes	2020-10-18 21:11:48 -04:00
Chad Stearns	c0e5c295b6	Fixed Str.split definition in std	2020-10-18 21:11:10 -04:00
Chad Stearns	a11f0ec25a	Measure next split segment length bitcode function	2020-10-18 21:10:41 -04:00
Folkert	33ff36daad	make things work by removing type signatures	2020-10-19 00:28:14 +02:00
Folkert	847a1be65e	comment out type aliases for the unique version	2020-10-18 23:53:43 +02:00
Folkert	894f7de009	changes to closure parameter rank	2020-10-18 23:37:21 +02:00
Folkert	e1290835de	use the full alias body to determine the rank	2020-10-18 23:05:03 +02:00
Folkert	7b4e87a671	use layout first to determine if something is a closure	2020-10-18 23:04:28 +02:00
Folkert	a88f78d6b7	comment tests where monomorphization doesn't work right	2020-10-18 22:49:21 +02:00
Folkert	81af929f8f	always unify full alias body, even when alias names match	2020-10-18 21:16:22 +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	6c79048f9b	improve closure pretty printing	2020-10-18 20:12:53 +02:00
Folkert	4acbe876cc	centralize closure layout creation	2020-10-18 20:12:20 +02:00
Folkert	896090642f	add assertion	2020-10-18 20:11:33 +02:00
Folkert	39f52f22fa	add more closure tests	2020-10-18 20:11:18 +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	e66c84d2de	update bitcode	2020-10-17 22:05:07 +02:00
Folkert	496580c869	remove commented code	2020-10-17 21:59:00 +02:00
Folkert	0dfeb76d72	un-ignore tests	2020-10-17 21:58:00 +02:00
Folkert	cfb2064868	rip out unneeded tracking of symbol variable mapping	2020-10-17 21:55:37 +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	9ff882751a	disable a test for now	2020-10-17 12:35:53 +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	70a53bd544	cleanup	2020-10-17 00:56:40 +02:00
Folkert	777b29259f	remove unused function	2020-10-17 00:51:10 +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	cbe78593c2	add extra pass that further trims down the captured symbols	2020-10-17 00:17:55 +02:00
Folkert	752a40a23c	fix or ignore gen tests	2020-10-16 21:19:25 +02:00
Folkert	acd275f57c	uniqueness closure size inference	2020-10-16 21:07:39 +02:00
Folkert	d931c8994a	fix most type inference issues	2020-10-16 20:50:42 +02:00
Folkert	9b83c3ad58	optional record fields in patterns are bound	2020-10-16 15:29:21 +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	b7e099a6c8	add captured symbols field to Closure	2020-10-15 16:08:35 +02:00