1199 commits

Author	SHA1	Message	Date
Folkert	2844be4383	move IdentStore to the bottom	2022-04-27 21:03:18 +02:00
Folkert	d09036bb4f	don't have shadowing overwrite our data	2022-04-27 20:59:40 +02:00
Folkert	1372825ebb	refactor	2022-04-27 20:53:00 +02:00
Folkert	08c8968236	use interner in Scope + fix shadowing being reported incorrectly	2022-04-27 20:40:58 +02:00
Folkert	09fbd4a505	fix typo	2022-04-27 20:22:52 +02:00
Folkert	7af2bb343c	remove unused Scope functions	2022-04-27 19:53:30 +02:00
Folkert	34d77cffdb	Merge branch 'refactor-closure-can' into scope-smarter-storage	2022-04-27 19:46:02 +02:00
Folkert	622c6f3248	Merge remote-tracking branch 'origin/trunk' into scope-smarter-storage	2022-04-27 19:45:09 +02:00
Folkert	1de3148cf1	fix problem with record guards	2022-04-27 19:18:26 +02:00
Folkert	c487506ab4	reduce allocations further	2022-04-27 19:11:25 +02:00
Folkert	b265663515	reduce allocations in pattern iteration	2022-04-27 18:44:06 +02:00
Folkert	454aa17586	change where scope is cloned	2022-04-27 18:01:22 +02:00
Folkert	2d0a9c8531	stop scope diffing in when canonicalization	2022-04-27 17:57:42 +02:00
Folkert	984ef53e75	shaving off a couple more lines	2022-04-27 17:29:32 +02:00
Folkert	2973af5f79	get rid of env.closure_name_symbol	2022-04-27 17:11:33 +02:00
Folkert	465fad9da1	refactor it all again	2022-04-27 17:01:18 +02:00
Folkert	6783b66db7	stop using env.closures	2022-04-27 16:44:29 +02:00
Folkert	c28a0af932	refactor: special-case the canonicalization of a Closure def	2022-04-27 16:42:04 +02:00
Folkert	41ee2c3e6a	unwrapping of an Opaque does not count as a binding of the opaque name	2022-04-27 16:38:53 +02:00
Folkert	c65f90b8c5	refactor closure canonicalization	2022-04-27 16:22:00 +02:00
Folkert	7a53534d41	rework how we filter captured symbols, and check for unused symbols	2022-04-27 16:14:15 +02:00
Ayaz	98a3523702	Merge pull request #2961 from rtfeldman/improved-identids ... Improved identids	2022-04-27 10:11:06 -04:00
Folkert	d18c46550f	fix test building	2022-04-27 01:28:31 +02:00
Folkert	d690d3f325	clippy	2022-04-26 20:26:13 +02:00
Folkert	c31b796938	more types!	2022-04-26 20:10:29 +02:00
Folkert	d3ef35d935	rename	2022-04-26 11:33:26 +02:00
Folkert	4164dcc3da	more debug info	2022-04-26 09:14:29 +02:00
Jared Cone	ab2333b0fc	Replaced a few more references to "global tag" with "tag"	2022-04-25 21:52:54 -07:00
Richard Feldman	6da39aa296	Merge pull request #2917 from rtfeldman/move-exhaustiveness-checking ... Moves exhaustiveness checking to type solving phase	2022-04-25 20:55:05 -04:00
Ayaz Hafiz	909331c1b1	Bugfix compile error	2022-04-25 19:07:57 -04:00
Ayaz Hafiz	07e69c7860	Style fixes	2022-04-25 19:04:10 -04:00
Ayaz Hafiz	1ff18af8f6	Nothing is static in this world	2022-04-25 19:04:10 -04:00
Ayaz Hafiz	03deec23c3	Constants	2022-04-25 19:04:10 -04:00
Ayaz Hafiz	1de67fe19a	Nested Eq constraint in Exhaustive behind SoA	2022-04-25 19:04:09 -04:00
Ayaz Hafiz	85e3373d8b	Move exhaustiveness checking to type checking	2022-04-25 19:04:09 -04:00
Ayaz Hafiz	356616d834	Move exhaustiveness checking to type solving phase with solve tests	2022-04-25 19:04:08 -04:00
Ayaz Hafiz	43bff0b59d	Turn repl test back on	2022-04-25 19:03:25 -04:00
Ayaz Hafiz	e73ebfba3e	Add a way to view solved types of arbitrary expressions/patterns in a program	2022-04-25 19:03:25 -04:00
Folkert	af6c3231f3	Improved IdentIds	2022-04-25 23:15:57 +02:00
Folkert	ae04887cb1	make IdentIds expose an iterator of &str	2022-04-25 23:15:56 +02:00
Richard Feldman	85e7969c2d	Replace references to "global tag" with "tag"	2022-04-25 17:04:34 -04:00
Ayaz	e736adaa24	Merge pull request #2952 from rtfeldman/ability-unused-method-reporting ... Ability unused method reporting	2022-04-25 15:53:06 -04:00
Folkert	6028507dff	Merge remote-tracking branch 'origin/trunk' into scope-smarter-storage	2022-04-25 21:33:20 +02:00
Folkert	a26fa4559a	prevent intermediate allocation	2022-04-25 21:02:45 +02:00
Folkert	945305fc2b	take scope by-value now	2022-04-25 20:50:26 +02:00
Folkert	a0d688bfb7	stop reporting unused ability members	2022-04-25 20:45:54 +02:00
Ayaz	ccaddcebbb	Merge branch 'trunk' into remove-private-tags	2022-04-25 13:14:42 -04:00
Ayaz Hafiz	f1dc9c8298	Opaques take @ : %s/\$\([A-Z]\)/@\1/g	2022-04-25 12:26:38 -04:00
Ayaz Hafiz	55706ae5c4	Remove other references to private tags in code	2022-04-25 11:50:00 -04:00
Ayaz Hafiz	1ed9cf551a	Remove private tags from Ast	2022-04-25 11:20:37 -04:00