4798 commits

Author	SHA1	Message	Date
Folkert	ceb5cc66fa	use IdentStr	2021-08-03 21:14:36 +02:00
Folkert	bd35770e9a	use in Lowercase	2021-08-03 19:30:29 +02:00
Folkert	9361f45610	use IdentStr for TagName	2021-08-03 19:28:28 +02:00
Richard Feldman	3bfaea3c2a	Merge branch 'trunk' into small-ident	2021-08-03 10:01:48 -04:00
Richard Feldman	1c09450103	Use ::default over ::empty for RocStr and RocList	2021-08-03 07:28:03 -04:00
Richard Feldman	2cb001235d	Change write_c_str API	2021-08-03 07:19:59 -04:00
Richard Feldman	7b9604cf21	Remove unnecessary unsafe annotation	2021-08-03 07:17:56 -04:00
Richard Feldman	35c202bfb2	Use IdentStr::default over ::empty	2021-08-03 07:15:41 -04:00
Richard Feldman	00eefa1947	Add IdentStr	2021-08-02 23:54:10 -04:00
Folkert	0f3b9c01fa	RecordFields makes things bigger	2021-08-03 00:25:33 +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	9581195c1b	Revert "turn vec into boxed slice" ... This reverts commit fd9d57d314.	2021-08-02 22:21:31 +02:00
Folkert	fd9d57d314	turn vec into boxed slice	2021-08-02 22:21:23 +02:00
Folkert	203c5b53be	add a box in type Problem	2021-08-02 22:13:20 +02:00
Folkert	935464d7cf	add type checker size tests	2021-08-02 22:09:31 +02:00
Richard Feldman	44d5551259	Merge pull request #1514 from rtfeldman/records-soa ... Records struct of arrays	2021-08-01 22:24:35 -04: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
Richard Feldman	aa71c19cf3	Clippy	2021-08-01 10:23:16 -04:00
Richard Feldman	538cb3fe10	Rename parse_ident_help to parse_ident	2021-08-01 10:23:16 -04:00
Richard Feldman	e8fc9c5e4c	Thread dep_idents through to LoadedModule	2021-08-01 10:23:16 -04:00
Richard Feldman	439caaa1ca	Don't use a broken docs link in Bool	2021-08-01 10:23:16 -04:00
Richard Feldman	5c74bab0ec	Persist scope after canonicalizing defs	2021-08-01 10:23:16 -04:00
Folkert	e4ca720c02	implement more on RecordFields	2021-08-01 13:26:56 +02:00
Folkert	fb6170567e	SoA record fields	2021-08-01 12:12:02 +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	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