4509 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Richard Feldman	7a5451162d	Merge pull request #605 from rtfeldman/small-valgrind ... Minimize work done in valgrind tests to fix ci	2020-10-22 21:45:13 -04:00
Brendan Hansknecht	46148f0114	Minimize work done in valgrind tests to fix ci	2020-10-22 17:11:38 -07: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
Richard Feldman	2c83495ac8	Merge pull request #602 from rtfeldman/closure-improvements ... Closure improvements	2020-10-21 22:55:09 -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
Richard Feldman	5f9225d495	Merge pull request #600 from rtfeldman/platform ... Parse platform headers	2020-10-19 21:22:13 -04: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	e3361c14a2	Merge pull request #599 from rtfeldman/sized-functions-inference ... Effects, kind of	2020-10-18 23:58:02 -04:00
Richard Feldman	dfa61b4c18	Parse platform headers	2020-10-18 23:55:49 -04:00
Folkert	e2496f22eb	Merge remote-tracking branch 'origin/trunk' into sized-functions-inference	2020-10-19 00:28:39 +02: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
Richard Feldman	a31ed6943f	Merge pull request #595 from rtfeldman/sized-functions-inference ... Sized functions inference + basic closures	2020-10-18 12:23:05 -04:00
Richard Feldman	5c6ef2d01b	Merge branch 'trunk' into sized-functions-inference	2020-10-18 11:20:57 -04:00
Richard Feldman	e6e5176bf9	Merge pull request #598 from rtfeldman/debug-valgrind ... Temporarily stop running valgrind on quicksort	2020-10-18 11:20:45 -04:00
Richard Feldman	fd2512a064	For now, disable valgrind on quickcheck	2020-10-18 10:55:45 -04:00
Richard Feldman	98bda47989	Add run_cmd helper	2020-10-18 09:55:31 -04:00
Richard Feldman	684dfc40f2	Merge pull request #597 from rtfeldman/debug-valgrind ... Fix valgrind on macOS	2020-10-18 09:49:07 -04:00
Folkert	c41b92e284	remove bitcode CI check ... it gave false positives, and won't be needed when we don't check in the bitcode	2020-10-18 09:03:05 -04:00
Richard Feldman	b488e5773f	Add app.dSYM to .gitignore ... valgrind on macOS creates this directory automatically	2020-10-18 08:46:50 -04:00
Richard Feldman	c1768dc818	Update valgrind on macOS install instructions	2020-10-18 08:46:50 -04:00
Richard Feldman	65336919fc	Have valgrind output XML to a tempfile	2020-10-18 08:46:50 -04:00