7385 commits

Author	SHA1	Message	Date
Folkert	dab804dca1	record how many clones of Type occur	2022-03-16 18:30:59 +01:00
Folkert	d187d43a0c	add a bunch of implementations of Type functions for DelayedAlias	2022-03-16 18:30:46 +01:00
Folkert	48b6cd09c7	conditionally use a DelayedAlias	2022-03-16 18:29:40 +01:00
Folkert	f24bfeea99	add some aliases to file.rs	2022-03-16 18:18:45 +01:00
Folkert	7f63e09272	remember recursion variable when making alias recursive	2022-03-16 14:52:34 +01:00
Folkert	1dacf29879	make sure aliases are not forgotten	2022-03-16 14:36:24 +01:00
Folkert	b3dce7317d	hook up aliases	2022-03-15 22:23:40 +01:00
Folkert	7d8409f6a6	write Aliases implementation	2022-03-15 22:02:04 +01:00
Folkert	a66d23f93d	add substitute_variable	2022-03-14 22:23:26 +01:00
Folkert	18ca42d767	make Type::substitute use an explicit stack	2022-03-14 22:20:59 +01:00
Folkert	9059e09dca	thread through Aliases	2022-03-14 21:20:35 +01:00
Folkert	0c5e4df215	remember which variables went where	2022-03-14 21:11:35 +01:00
Folkert	6838891d1b	refactor deep_copy_var_to	2022-03-14 21:08:40 +01:00
Folkert	f9bd46ecb8	fake implementation of type_to_var for DelayedAlias	2022-03-14 20:22:38 +01:00
Folkert	00f3eaf2a1	thread through DelayedAlias	2022-03-14 19:47:19 +01:00
Folkert	7127157962	refactor	2022-03-14 19:21:38 +01:00
Richard Feldman	422a88eced	Merge pull request #2722 from rtfeldman/various-bug-fixes ... Various recently filed bug fixes	2022-03-13 22:18:39 -04:00
ayazhafiz	530fa9943a	Generate unsigned div and modulo correctly ... Closes #2705	2022-03-13 18:44:38 -05:00
ayazhafiz	5670fe06cd	Deal with destructuring tag unions behind opaques correctly ... Closes #2702	2022-03-13 18:44:38 -05:00
Folkert	872d32652a	remove clone, yay	2022-03-13 22:58:16 +01:00
Folkert	f7ba9918fa	use equal_types_with_storage in opaque type constraining	2022-03-13 22:54:13 +01:00
Folkert	80af910c4f	use equal_types_with_storage in tag constraining	2022-03-13 22:53:22 +01:00
Folkert	7df4465a6e	use equal_types_with_storage in Lambda constraining	2022-03-13 22:47:25 +01:00
Folkert	f23945ad94	use equal_types_with_storage in record constraining	2022-03-13 22:47:07 +01:00
Folkert	6baae55980	add equal_types_with_storage helper	2022-03-13 22:46:41 +01:00
Folkert	e8bf5fa378	prevent clone for all function signatures	2022-03-13 22:35:56 +01:00
Folkert	9a40bcb427	add another comment	2022-03-13 18:32:56 +01:00
Folkert	15ac77567a	make rigid variable introducion more obvious	2022-03-13 18:27:42 +01:00
Folkert	97742b3238	clarify variable name	2022-03-13 17:59:44 +01:00
Folkert	d31ea3e71f	clarify import constraint	2022-03-13 17:59:33 +01:00
Folkert	b3f7b3a337	record referenced types	2022-03-13 17:52:31 +01:00
Folkert	4ef6cba23a	Merge branch 'split-types-values' into type-checking-storage-subs	2022-03-13 17:43:24 +01:00
Folkert	66676e0ab9	factor out to separate function	2022-03-13 17:15:59 +01:00
Folkert	fe72008845	remove unused module checking from Solve step	2022-03-13 17:05:32 +01:00
Folkert	496c283491	replicate unused module check after canonicalization	2022-03-13 17:03:54 +01:00
Folkert	563ba6acbb	incorporate referenced types	2022-03-13 16:57:42 +01:00
Folkert	8bc31e82c3	try to keep type and value symbols separate	2022-03-13 16:50:32 +01:00
Folkert	d6c9e0c625	real unsafe now	2022-03-13 16:50:03 +01:00
Richard Feldman	f38b3a1859	Merge pull request #2714 from rtfeldman/abilities-parsing ... Parse abilities	2022-03-13 10:36:06 -04:00
Richard Feldman	546db0cf14	Merge pull request #2708 from rtfeldman/docs-for-dict ... Update docs for `Dict`	2022-03-13 10:29:59 -04:00
Folkert	6a227b30d5	real unsafe now	2022-03-13 14:33:37 +01:00
Folkert	523032c6c9	more comments	2022-03-13 14:05:53 +01:00
Folkert	61b4ee054a	rename function	2022-03-13 13:54:03 +01:00
Folkert	f97b10c6f3	clarify why builtins are skipped	2022-03-13 13:51:25 +01:00
Folkert	ed247c9da3	Merge remote-tracking branch 'origin/trunk' into type-checking-storage-subs	2022-03-13 13:43:00 +01:00
Folkert	a9849a6ffc	add clarifying comments to Constraints	2022-03-13 13:42:49 +01:00
ayazhafiz	84c7c49110	Fix parse error	2022-03-12 23:55:33 -06:00
hafiz	7de55076b5	Update compiler/parse/src/type_annotation.rs ... Co-authored-by: Richard Feldman <oss@rtfeldman.com>	2022-03-12 23:23:09 -06:00
Richard Feldman	0b3fb576d4	Merge remote-tracking branch 'origin/trunk' into abilities-parsing	2022-03-12 23:43:52 -05:00
Richard Feldman	da64cc0a1d	cargo fmt	2022-03-12 23:43:45 -05:00