5620 commits

Author	SHA1	Message	Date
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	0c628db882	clippy	2021-07-31 12:17:58 +02:00
Richard Feldman	f22da2e5b2	Drop a clone in occurs	2021-07-30 23:36:58 -04:00
Richard Feldman	30fbc12c9f	Drop some more clones	2021-07-30 23:36:58 -04:00
Richard Feldman	402e0e739e	Avoid a clone of Content	2021-07-30 23:36:58 -04:00
Richard Feldman	d0d7721aaf	Drop some clones	2021-07-30 23:36:58 -04:00
Richard Feldman	5f9ab038fc	Merge pull request #1505 from rtfeldman/subs-get-ref ... Subs get ref	2021-07-30 23:35:55 -04: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	869034b5c5	Merge remote-tracking branch 'origin/trunk' into subs-get-ref	2021-07-30 23:32:10 +02:00
Folkert	9447ff6f66	clippy	2021-07-30 23:31:33 +02:00
Folkert	fc34aa753f	Merge remote-tracking branch 'origin/trunk' into faster-borrow-inference	2021-07-30 23:31:00 +02:00
Folkert	aea0ddce30	use vector instead of hashmap	2021-07-30 23:30:06 +02:00
Folkert	35404bd25f	use get_content_without_compacting more	2021-07-30 22:15:17 +02:00
Folkert	7601bcb2fa	maybe it's good now?	2021-07-30 20:32:01 +02:00
Folkert	e0648d348d	new formatting	2021-07-30 17:13:50 +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	0aa35f072e	types.rs changes	2021-07-30 16:07:10 +02:00
Folkert	5cd7db1762	ignore two failing tests for now	2021-07-30 16:04:47 +02:00
Folkert	5248f83af2	try not to unify the actual var of an alias	2021-07-30 16:04:30 +02:00
Folkert	2f45ad7c35	remove debug prings	2021-07-30 15:47:57 +02:00
Folkert	4f03d2da36	instantiate lambda sets	2021-07-30 15:47:39 +02:00
Folkert	c2d61e00c4	remove uniqueness types code	2021-07-30 15:13:29 +02:00
Folkert	536404d534	dbg format types better	2021-07-30 15:00:24 +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	bbc406a759	Revert "tweaks" ... This reverts commit 5149adb2c8.	2021-07-30 14:13:35 +02:00
Richard Feldman	46beaf5855	Merge branch 'trunk' into clippy-1.54	2021-07-29 17:50:22 -04: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	e34322e339	hardcode integer types into Subs	2021-07-29 14:26:44 +02:00
Folkert	4cefbec5c7	store lambda set in alias types	2021-07-28 15:26:25 +02:00
Richard Feldman	b697ed1ef2	Merge branch 'trunk' into cli-test-tweaks	2021-07-27 22:24:19 -04:00
Richard Feldman	b6116eeb98	Merge pull request #1496 from rtfeldman/mono-ir-topsort ... Mono ir topsort	2021-07-27 22:23:53 -04:00
Folkert	5149adb2c8	tweaks	2021-07-27 22:37:08 +02:00
Richard Feldman	b998d406c5	Merge branch 'trunk' into aa-new-heap-cell	2021-07-27 10:27:52 -04:00
Richard Feldman	7d5e395e6b	Merge branch 'trunk' into mono-ir-topsort	2021-07-27 10:27:47 -04:00
Richard Feldman	fca7d1cae1	Revert "bundle compiler rt when building assembly backend obj file" ... This reverts commit fe4fc1c92a.	2021-07-25 20:40:55 -04:00
Folkert	5282dbf41a	fix typo	2021-07-25 22:00:52 +02:00
Folkert	31e1fe8870	cache the initial context in inc_dec	2021-07-25 21:20:04 +02:00
Folkert	f76195d05c	cleanup	2021-07-25 21:13:14 +02:00
Folkert	079c95b993	clippy	2021-07-25 20:55:40 +02:00
Folkert	204aa6f88a	remove extra lookup	2021-07-25 20:53:45 +02:00
Folkert	7d0c1f5787	remove unneeded contains	2021-07-25 20:50:40 +02:00
Folkert	c7d04c2a00	cleanup	2021-07-25 20:44:00 +02:00