1902 commits

Author	SHA1	Message	Date
Ayaz Hafiz	e08b5fa91e	Specializer->Resolver	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	1a53daa665	Remove ability todo in mono	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	8bff2875b0	Account for ability specialization in reuse_symbol	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	474c18ab83	Handle recursion	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	53c8ec3a57	Correctly aliasing of ability members	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	645c0f2738	Don't eagerly walk down let bindings to specialize an ability	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	025d501cfd	Determine ability specializations before walking a body	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	edee222763	Add AbilityMember can variant for resolving ability specializations	2022-05-08 15:08:16 -04:00
Ayaz Hafiz	c1b1f60630	Coupon cutting	2022-05-08 15:08:16 -04:00
Ayaz Hafiz	b5efd830e5	Solve and gen ability members that bind other able variables	2022-05-08 15:07:27 -04:00
Folkert	7be41d8c09	remove unused variables from let/letrec	2022-05-08 20:06:00 +02:00
Folkert	529ec39aeb	remove ven_graph from mono dependencies	2022-05-08 12:32:24 +02:00
Folkert	8be6957e9b	fix merge conflict	2022-05-08 12:29:52 +02:00
Folkert	90517f09a5	use matrix for SCCs	2022-05-08 12:19:33 +02:00
Folkert	df9b5bd0f5	construct reference matrix	2022-05-08 12:18:10 +02:00
Ayaz	dd51479764	Merge pull request #3009 from rtfeldman/list-map-ownership ... List map ownership	2022-05-07 19:59:15 -04:00
Folkert	3ad16e1f45	assert condition	2022-05-07 23:00:56 +02:00
Folkert	6a736615e1	clarify BORROWED usage	2022-05-07 23:00:51 +02:00
Folkert	0bf284721b	all the comments	2022-05-07 22:47:16 +02:00
Ayaz Hafiz	50bbf1349d	Revert "Drop another unused branch" ... This reverts commit 19175a85d8.	2022-05-07 15:36:11 -04:00
Ayaz Hafiz	19175a85d8	Drop another unused branch	2022-05-07 15:04:35 -04:00
Ayaz Hafiz	7e58c4ddea	Unused var	2022-05-07 15:01:25 -04:00
Ayaz Hafiz	02bff35203	Remove dead let-identifier code	2022-05-07 15:01:04 -04:00
Folkert de Vries	201d09d9bf	Merge branch 'trunk' into list-map-ownership	2022-05-07 11:59:51 +02:00
ayazhafiz	0626433a14	Sweep unused deps ... `cargo +nightly udeps` told me what's good	2022-05-06 22:54:42 -04:00
Ayaz Hafiz	2a4ed33530	We love the eta reductions	2022-05-06 14:32:54 -04:00
Ayaz Hafiz	2aeb06c9cb	Spellcheck	2022-05-06 12:21:42 -04:00
Ayaz Hafiz	9e35cf9060	Unable function marks for symbol specializations	2022-05-06 12:03:35 -04:00
Ayaz Hafiz	e0bfe6c762	Make specialization symbols a two-layered VecMap	2022-05-06 11:58:02 -04:00
Folkert	61c2b20313	cleanup	2022-05-06 16:12:49 +02:00
Ayaz Hafiz	b4f5e62f46	Marks specializations for closure defs	2022-05-06 09:44:47 -04:00
Folkert	8c3a00f7aa	thread through an updatemodeids	2022-05-06 15:41:29 +02:00
Folkert	cfa331be02	handle sorting of unique lists	2022-05-06 15:28:56 +02:00
Folkert	f2c498c900	Merge branch 'list-is-unique-lowlevel' into list-map-ownership	2022-05-06 14:13:03 +02:00
Folkert	5755475b3a	add ListIsUnique lowlevel operation	2022-05-06 13:56:35 +02:00
Folkert	8f5956fdfe	refactor	2022-05-06 10:26:44 +02:00
Folkert	032104e02b	factor out decrement to closure argument	2022-05-06 09:52:49 +02:00
Folkert de Vries	593d634455	Merge pull request #2956 from rtfeldman/def-specialization-for-polymorphic-expressions ... Polymorphic specialization of defs, at the def site	2022-05-05 20:40:24 +02:00
Folkert	76fb5308e7	update wasm type size asserts	2022-05-05 17:57:02 +02:00
Ayaz Hafiz	674ec3beae	Verify layouts of extracted specialization symbols	2022-05-05 11:46:29 -04:00
Ayaz Hafiz	8228df55c7	Remove resolved stopgap	2022-05-05 11:28:26 -04:00
Ayaz Hafiz	8f593480e5	Simplify specialize_naked_symbol with value variables	2022-05-05 11:23:47 -04:00
Ayaz Hafiz	8d6b86efc7	Minor cleanup	2022-05-05 11:20:23 -04:00
Ayaz Hafiz	a1eb65b169	Debug assert needed specializations are empty after leaving mono	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	19e8b37402	Bugfix handle more specialization instances	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	bf91e151e8	Lift reuse_symbol_or_specialize	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	087782f3d0	Closure captures may take on specialized names	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	bc987fd4d7	All of test_gen works again	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	3c2dd488a5	One step forward, two steps back	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	b05874924f	Clippy	2022-05-05 11:13:41 -04:00