287 Commits

Author	SHA1	Message	Date
Richard Feldman	0f1e1d7659	Don't pass around an unnecessary Env	2022-05-04 21:36:47 -04:00
Folkert	6fb014baba	more cleanup	2022-04-30 01:25:27 +02:00
Folkert	8fe3e24c8b	step 4: new scope with passing reporting tests	2022-04-30 00:51:32 +02:00
Ayaz Hafiz	89757dc31f	Remove MonoProblem	2022-04-28 20:34:04 -04:00
Ayaz Hafiz	9dac9e4bc2	Coalesce	2022-04-28 20:34:03 -04:00
Ayaz Hafiz	7ec14ab76f	Fix test	2022-04-28 20:33:48 -04:00
Folkert de Vries	0dd04787fd	Merge pull request #2972 from rtfeldman/exhaustiveness-bugs ... exhaustiveness bug tests	2022-04-28 23:48:51 +02:00
Ayaz Hafiz	9429e50814	Test for 2778 ... Closes #2778	2022-04-28 16:06:51 -04:00
Folkert	992575051a	remove identids from Env	2022-04-28 21:11:08 +02:00
Folkert	7fb5b23fb0	move identids into Scope	2022-04-28 21:08:28 +02:00
Folkert	37cb9279f5	prepare for all_ident_ids	2022-04-28 20:42:00 +02:00
Folkert	fb9d60226d	store `exposed_ident_ids in the scope itself	2022-04-28 20:30:02 +02:00
Folkert	622c6f3248	Merge remote-tracking branch 'origin/trunk' into scope-smarter-storage	2022-04-27 19:45:09 +02:00
Ayaz	98a3523702	Merge pull request #2961 from rtfeldman/improved-identids ... Improved identids	2022-04-27 10:11:06 -04:00
Jared Cone	443efc4eb8	Handle ListEnd error	2022-04-27 05:57:01 -07:00
Folkert	d18c46550f	fix test building	2022-04-27 01:28:31 +02:00
Jared Cone	a95aa6117f	Formatting fix	2022-04-25 21:57:56 -07: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	03deec23c3	Constants	2022-04-25 19:04:10 -04:00
Ayaz Hafiz	fe8eb38d89	Catch non-exhaustive open unions	2022-04-25 19:04:10 -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
Folkert	af6c3231f3	Improved IdentIds	2022-04-25 23:15:57 +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	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	2ab01107d3	Removing extra private tag references	2022-04-25 11:43:55 -04:00
Ayaz Hafiz	cf8409dfaa	Remove private tag variants	2022-04-25 11:38:54 -04:00
Ayaz	53c8dee4ed	Merge pull request #2926 from rtfeldman/matrix-correct-mutual-type-alias ... Matrix correct mutual type alias	2022-04-25 11:19:59 -04:00
Ayaz Hafiz	7ea4d7171b	Remove private tags reporting tests	2022-04-25 11:12:16 -04:00
Ayaz Hafiz	b6383f81ee	Numbers are opaques	2022-04-25 10:59:42 -04:00
Ayaz Hafiz	23bbe0863b	Fix effect module	2022-04-25 10:59:41 -04:00
Ayaz Hafiz	41259104b8	Format	2022-04-24 13:03:17 -04:00
Ayaz	64ed7eea95	Merge branch 'trunk' into fix-when-branch-solving	2022-04-24 12:19:22 -04:00
Folkert	fe76858e2d	an error message that was changed is now what it was again	2022-04-24 17:43:34 +02:00
Folkert	452447232f	bitvec all the things	2022-04-24 02:18:43 +02:00
Folkert	ca072b6625	add function references test	2022-04-23 22:15:17 +02:00
Ayaz Hafiz	27a421fce6	Fix reporting test	2022-04-23 10:57:30 -04:00
Ayaz Hafiz	9a341e3d75	Improve non-exhaustive typechecking errors ... We will replace this with proper exhaustiveness checking when we have that in the typechecking phase, but for now this should do.	2022-04-23 10:56:54 -04:00
Ayaz Hafiz	935a484c71	Fix compile error	2022-04-23 10:56:54 -04:00
Ayaz Hafiz	633bdd5520	Fix failing reporting tests	2022-04-23 10:56:54 -04:00
Ayaz Hafiz	fd5b682e48	Disable reporting tests for CI checking	2022-04-23 10:56:53 -04:00
Ayaz Hafiz	7c0c0ef02a	Add test from #2899	2022-04-23 10:56:53 -04:00
Folkert	32edd55d3d	sanity check	2022-04-23 15:32:15 +02:00