199 commits

Author	SHA1	Message	Date
Folkert	fe773995c8	make VariableSubsSlice	2021-08-07 13:12:39 +02:00
Folkert	69c224843e	all the work	2021-08-07 00:51:53 +02:00
Folkert	efab1ef2ca	implement	2021-08-04 00:33:05 +02:00
Folkert	54198d7da1	one more shrinkage	2021-08-02 23:05:22 +02:00
Folkert de Vries	892447b08c	Merge branch 'trunk' into shrink-type-error	2021-08-02 23:02:28 +02:00
Folkert	06f07700d4	box errors in flat type	2021-08-02 22:27:24 +02:00
Folkert	b4a0881b4d	Merge remote-tracking branch 'origin/trunk' into records-soa	2021-08-01 20:35:24 +02:00
Folkert	cf5c38699b	cleanup	2021-08-01 20:34:35 +02:00
Folkert	dfaaa21e81	use RecordFields	2021-08-01 17:50:38 +02:00
Folkert	a47f9baef4	Merge remote-tracking branch 'origin/trunk' into alias-nominal-equality	2021-07-31 22:59:01 +02:00
Folkert	e1a36ea712	instantiate rigids more intelligently	2021-07-31 22:38:11 +02:00
Folkert	099f684a92	add comment	2021-07-31 17:36:41 +02:00
Folkert	0a0442657f	cleanup	2021-07-30 23:44:42 +02:00
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