1611 commits

Author	SHA1	Message	Date
Folkert	2c0416907c	fix todo	2020-10-24 01:19:22 +02:00
Folkert	9d2a4a7d39	move SolvedType -> Type conversion to solved_types.rs	2020-10-24 01:17:51 +02:00
Richard Feldman	a10f768c36	Merge branch 'trunk' into merge-docs-into-load-file	2020-10-22 08:51:10 -04:00
Richard Feldman	cdb774a09b	Merge pull request #603 from Anton-4/trunk ... replaced deprecated `std::u16::MAX` with `u16::MAX`	2020-10-22 08:50:47 -04:00
Folkert	7bff0b50c6	remove now unneeded code	2020-10-21 15:49:20 +02:00
Folkert	432dbee422	switch docs to use the standard file load mechanism	2020-10-21 15:43:56 +02:00
Anton-4	12821bf321	replaced deprecated std::u16::MAX with u16::MAX	2020-10-21 14:35:36 +02:00
Folkert	5223a9c59b	Merge remote-tracking branch 'origin/trunk' into closure-improvements	2020-10-21 13:49:09 +02:00
Folkert	75332bd109	re-enable tests	2020-10-21 13:47:23 +02:00
Folkert	e446ecd9a9	factor out closure constraint generation	2020-10-21 13:47:02 +02: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	48d13a7b12	refactor how we solve LetCon	2020-10-19 22:18:20 +02:00
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
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