14686 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Ayaz Hafiz	1de67fe19a	Nested Eq constraint in Exhaustive behind SoA	2022-04-25 19:04:09 -04:00
Ayaz Hafiz	17e7b10267	Fought against clippy and lost	2022-04-25 19:04:09 -04:00
Ayaz Hafiz	7d908dc99c	Remove unused line	2022-04-25 19:04:09 -04:00
Ayaz Hafiz	372b12bec9	Typo	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	f7e04490c0	Remove stale comment	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
ayazhafiz	9602b3634c	Fix repl test	2022-04-25 19:03:25 -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
Ayaz	e736adaa24	Merge pull request #2952 from rtfeldman/ability-unused-method-reporting ... Ability unused method reporting	2022-04-25 15:53:06 -04:00
Ayaz	b0c6cb4420	Merge pull request #2918 from rtfeldman/remove-private-tags ... Remove private tags from the language	2022-04-25 15:12:46 -04: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 Hafiz	ce407168a9	Update opaque parse tests	2022-04-25 13:59:57 -04:00
Ayaz Hafiz	2020d5f30f	Format	2022-04-25 13:16:44 -04: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	e43994530f	Remove temp test	2022-04-25 12:19:33 -04:00
Ayaz Hafiz	3fd345e99d	Switch private tags to opaque types in docs	2022-04-25 12:18:46 -04:00
Ayaz Hafiz	0d24e279f1	Fix Ast2 constraining of opaques	2022-04-25 12:08:23 -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 Hafiz	37b9a34448	Remove private tags from Ast2	2022-04-25 11:22:32 -04:00
Ayaz Hafiz	1ed9cf551a	Remove private tags from Ast	2022-04-25 11:20:37 -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
Richard Feldman	e59b645348	Merge pull request #2950 from rtfeldman/issue-2856/typed-num-literals-tutorial ... Added typed, hexadecimal, and binary literals to tutorial.	2022-04-25 11:13:42 -04:00
Ayaz Hafiz	67eb4b9faa	Remove private tags from idents	2022-04-25 11:13:30 -04:00
Ayaz Hafiz	7ea4d7171b	Remove private tags reporting tests	2022-04-25 11:12:16 -04:00
Ayaz Hafiz	7facfd0922	Remove private tags from solve tests	2022-04-25 11:12:05 -04:00
Ayaz Hafiz	b796b68df7	Remove dead code	2022-04-25 11:00:50 -04:00
Ayaz Hafiz	b6383f81ee	Numbers are opaques	2022-04-25 10:59:42 -04:00
Ayaz Hafiz	969d14dfe9	I love 50 arguments	2022-04-25 10:59:42 -04:00
Ayaz Hafiz	f5b0b0219e	Remove hack	2022-04-25 10:59:42 -04:00
Ayaz Hafiz	caf65ba2f8	Fix codegen of effect symbols	2022-04-25 10:59:42 -04:00
Ayaz Hafiz	cc507f3abd	Revert "Mark introduced variables" ... This reverts commit 02038ea8bf525021f05061e4296749b01a4b9346.	2022-04-25 10:59:42 -04:00
Ayaz Hafiz	23bbe0863b	Fix effect module	2022-04-25 10:59:41 -04:00
Ayaz Hafiz	e543dd4fe6	Bugfix test gen	2022-04-25 10:59:41 -04:00
Ayaz Hafiz	8b291854d3	Improve alias<->opaque unification logic	2022-04-25 10:59:40 -04:00
ayazhafiz	a53ba3498b	Mark introduced variables	2022-04-25 10:59:12 -04:00
Ayaz Hafiz	bde722b92f	Remove private tags from effect module	2022-04-25 10:59:12 -04:00
Ayaz Hafiz	1b83b2e9af	Remove private tags from Dict	2022-04-25 10:59:12 -04:00
Ayaz Hafiz	71a5471bec	Remove private tags from Set	2022-04-25 10:59:12 -04:00
Ayaz Hafiz	f630536f5c	Remove private tags from parser package	2022-04-25 10:59:12 -04:00
Ayaz Hafiz	ee30b85430	Remove private tags from unicode package	2022-04-25 10:59:12 -04:00
Ayaz Hafiz	be56cdf782	Remove private tags from Str	2022-04-25 10:59:12 -04:00
Ayaz Hafiz	1856b32d7c	Remove private tags from List	2022-04-25 10:59:11 -04:00
Ayaz Hafiz	abd454276d	Remove private tags from Result ... This matches the actual definition	2022-04-25 10:59:11 -04:00