88 commits

Author	SHA1	Message	Date
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	899cbeabd7	fix extra ampersands	2021-07-29 17:32:08 +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
Chadtech	38ef2a915a	Only render exposed values	2021-06-27 20:24:05 -04:00
Anton-4	314503cf7f	fixed typos, added typos checking to CI	2021-06-05 20:02:54 +02:00
Folkert	f480919186	Merge remote-tracking branch 'origin/trunk' into no-arg-tag-union-func	2021-05-24 14:44:32 +02:00
Richard Feldman	a7518a675a	Clean up some clippy warnings	2021-05-23 20:28:23 -04: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	48f392f372	fix bad test examples using unbound type alias variables	2021-05-05 19:54:10 +02:00
Folkert	0ec1c49042	slightly optimize rank calculation	2021-05-05 15:02:52 +02:00
Folkert	61ffe687ce	introduce LambaSet variables	2021-05-05 13:54:21 +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	2ef7072247	change type of exposed_vars_to_symbol	2020-12-26 17:46:15 +01:00
Folkert	4ff06ebac5	remove duplication in solve.rs	2020-12-26 17:06:29 +01:00
Folkert	6209adbd5c	remove dead code	2020-12-26 17:05:01 +01:00
Anton-4	b085469602	Replaced large_enum_variant explanation with link to issue #800	2020-12-14 16:09:16 +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	7f1dd80392	hook up size inference, WIP	2020-10-14 22:55:25 +02:00