28 commits

Author	SHA1	Message	Date
JRI98	edd0bb553d	Remove unused EmptyTuple variant from FlatType enum	2024-10-22 16:29:53 +01:00
Folkert	6ab54c02e2	drop into_iter in some places	2023-10-07 19:11:36 +02:00
Ayaz Hafiz	6e5a308557	Content variant ErasedLambda	2023-07-12 13:57:17 -05:00
Joshua Warner	5a6be05ead	implement mono / lowering for tuples	2023-02-07 18:54:50 -08:00
Ayaz Hafiz	009607c55a	Handle FunctionOrTagUnion types in exhaustiveness checking ... We should treat FunctionOrTagUnion types as tag unions for the purposes of exhautiveness checking. Closes #4994	2023-02-01 22:03:10 -06:00
Joshua Warner	de828416bf	Initial implementation of tuples in type checking ... This leaves in place a bunch of TODOs and likely many bugs - notably, I haven't tested codegen/layout at all here.	2023-01-22 12:40:44 -08:00
Ayaz Hafiz	1c93727822	Add a notion of "openness" tag extensions suitable only for size-polymorphism	2023-01-16 10:52:23 -06:00
Folkert	905341d849	can for normal (no-list) as	2022-12-31 15:46:11 +01:00
Ayaz Hafiz	281bc94b55	Remove FlatType::Erroneous	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	ae71c7efe2	Decision tree compilation of list patterns	2022-11-01 15:22:31 -05:00
Ayaz Hafiz	4b549ab24e	Apply clippy suggestions	2022-11-01 12:37:10 -05:00
Ayaz Hafiz	f696e8dd29	Clarify comment	2022-11-01 12:07:00 -05:00
Ayaz Hafiz	17920911e4	Implement list exhaustiveness checking	2022-11-01 12:07:00 -05:00
Ayaz Hafiz	92a3c48ce5	Implement sketching and pattern specialization for list patterns	2022-11-01 12:06:59 -05:00
Ayaz Hafiz	fbdf76e490	Report type errors in list pattern matches	2022-11-01 12:06:59 -05:00
Ayaz Hafiz	b0a8b85de3	Canonicalization of list patterns	2022-10-31 17:04:47 -05:00
Ayaz Hafiz	619cd2f629	Infer ranged number for chars in patterns	2022-10-05 17:28:01 -05:00
Ayaz Hafiz	29244112df	Handle optional record fields in record pattern indexing	2022-09-19 13:51:16 -05:00
Ayaz Hafiz	1799d6ed0e	Construct exhaustiveness branches with condition, not branch, variable ... Previously we would construct the shapes of unions used in the pattern tree for exhaustiveness checking using the type of the branch patterns, rather than the type of the condition variable. Clearly we want to always use the condition variable, otherwise some branches will be seen as exhaustive, when they are not! To do this, we now index into the condition variable while refying the patterns to build the tree for exhaustiveness checking. Closes #4068	2022-09-19 13:37:59 -05:00
Ayaz Hafiz	0f0e414272	Improve error message for uninhabited patterns	2022-09-19 10:55:02 -05:00
Ayaz Hafiz	147636f42b	Base reported row numbers on original rows, not reified rows	2022-09-19 10:47:35 -05:00
Ayaz Hafiz	8a42d60ca2	Move inhabited check to subs module	2022-09-19 10:08:18 -05:00
Ayaz Hafiz	ac752adc7c	Check in some more work	2022-09-16 16:09:21 -05:00
Ayaz Hafiz	6adb88beee	Report uninhabited branches as redundant	2022-09-16 15:55:46 -05:00
Ayaz Hafiz	0d98abae7b	Clippy	2022-09-16 15:39:09 -05:00
Ayaz Hafiz	1d7aef8c96	Don't include uninhabited constructors in exhaustiveness checking	2022-09-16 15:36:54 -05:00
Ayaz Hafiz	4031770836	Mark branch patterns degenerate when they don't bind symbols body needs	2022-07-22 17:26:45 -04:00
Anton-4	eee85fa45d	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00

Renamed from compiler/can/src/exhaustive.rs (Browse further)