236 commits

Author	SHA1	Message	Date
Folkert	894ef2b7b2	Merge remote-tracking branch 'origin/trunk' into alias-nominal-equality	2021-07-30 23:34:16 +02:00
Folkert	35404bd25f	use get_content_without_compacting more	2021-07-30 22:15:17 +02:00
Folkert	e805e63db6	typos	2021-07-30 16:54:22 +02:00
Folkert	2af648487c	better error message when rank of recvar is too high	2021-07-30 16:38:02 +02:00
Folkert	13b05e54e8	Merge remote-tracking branch 'origin/clippy-1.54' into alias-nominal-equality	2021-07-30 14:25:50 +02:00
Folkert	899cbeabd7	fix extra ampersands	2021-07-29 17:32:08 +02:00
Folkert	27c3d57e35	BROKEN	2021-07-29 17:22:25 +02:00
Folkert	aac0e2d9f9	add lambda set vars to host exposed alias	2021-07-29 14:55:10 +02:00
Folkert	b186ccc370	disable Nat for now	2021-07-29 14:41:22 +02:00
Folkert	814cf8700b	use hardcoded integers from subs if rank matches	2021-07-29 14:29:33 +02:00
Folkert	4cefbec5c7	store lambda set in alias types	2021-07-28 15:26:25 +02:00
Folkert	c398adedf6	get rid of ImMap in Solve	2021-07-21 20:51:06 +02:00
Folkert	c87f984d0a	some unsafe to make fewer clones	2021-07-21 19:37:09 +02:00
Folkert	212f032e96	optimize adjust_rank	2021-07-21 18:43:58 +02:00
Anton-4	314503cf7f	fixed typos, added typos checking to CI	2021-06-05 20:02:54 +02:00
tarjei	a53c7b5546	Add FunctionOrTagUnion case to all matches	2021-05-23 20:52:38 +02:00
Eric Henry	d34f984169	Starting to add no arg tag union	2021-05-17 17:07:19 -04:00
Folkert	0ec1c49042	slightly optimize rank calculation	2021-05-05 15:02:52 +02:00
Folkert	62da85cc06	remove ATTR_ATTR usage	2021-04-04 23:18:50 +02:00
Folkert	fa7dec2997	no more boolean algebra	2021-04-04 21:22:59 +02:00
Folkert	e042c73aff	clippy	2021-03-22 13:13:10 +01:00
Folkert	41e61ba38a	Subs efficiency	2021-03-22 02:04:59 +01:00
Folkert	754521c4c3	all the clippy fixes	2021-01-01 00:40:41 +01:00
Folkert	b5c7c26978	SendMap -> MutMap	2020-12-26 18:12:43 +01:00
Folkert	4ff06ebac5	remove duplication in solve.rs	2020-12-26 17:06:29 +01:00
Richard Feldman	572c7cb3dd	Report an error for lookups of unexposed values	2020-12-10 23:59:15 -05:00
Folkert	bde82c3bb6	add Store constraint that does not report errors	2020-11-12 15:47:56 +01:00
Folkert	cf80e2852f	add test for transitive alias import	2020-11-11 01:20:30 +01:00
Folkert	3aa6455795	fix problem with recursive definition constraint gen	2020-11-10 19:40:35 +01:00
Folkert	33820dd82e	record alias data in Annotation	2020-11-04 20:06:57 +01:00
Folkert	c09b66a9cc	add HostExposedAlias	2020-11-04 13:19:57 +01:00
Folkert	8b3b677439	remove aliases from Let and LetCon	2020-10-31 15:27:24 +01:00
Folkert	22319aa116	deliberately ignore uniqueness tests with rigids/recursive tag unions	2020-10-30 01:50:37 +01:00
Folkert	ef1cee6c41	HUGE WIP	2020-10-28 01:13:04 +01:00
Folkert	e176385169	make sure structure variable is copied/references the copy	2020-10-26 16:19:08 +01:00
Folkert	5fbcfe18d3	new recvar design	2020-10-26 16:16:01 +01:00
Folkert	7d2cc3aac2	WIP	2020-10-25 22:16:27 +01:00
Folkert	48d13a7b12	refactor how we solve LetCon	2020-10-19 22:18:20 +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	81af929f8f	always unify full alias body, even when alias names match	2020-10-18 21:16:22 +02:00
Folkert	1439c1a21d	clippy complaints	2020-10-17 22:37:15 +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	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	ca2efc27bd	Merge remote-tracking branch 'origin/trunk' into sized-functions-inference	2020-10-15 14:34:32 +02:00
Folkert	b440ab90f6	infer closure size!	2020-10-14 23:26:44 +02:00
Folkert	de8ad07f2e	Merge branch 'top-level-thunks' into sized-functions-inference	2020-10-14 21:58:53 +02:00