8 Commits

Author	SHA1	Message	Date
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	cf8409dfaa	Remove private tag variants	2022-04-25 11:38:54 -04:00
Folkert	0dd2cec09a	update with new clippy lints	2022-03-31 19:34:51 +02:00
ayazhafiz	81481e2599	Report non-exhaustive patterns with guards	2022-03-05 13:30:02 -05:00
Folkert	ec099bbdec	WIP	2022-03-02 14:46:30 +01:00
ayazhafiz	a62fd31ab6	Fix new clippy warnings	2022-02-27 20:41:07 -05:00
ayazhafiz	b9a29bdb16	Make exhaustive checking its own crate ... Prepares for moving exhaustiveness checking to the closer typechecking phase. Doing this one step at a time so that git preserves the rename.	2022-02-27 20:28:25 -05:00