3 Commits

Author	SHA1	Message	Date
Marijn Haverbeke	9f99c3263b	Rewrite exhaustiveness checker ... Issue #2111	2012-04-25 09:15:17 +02:00
Marijn Haverbeke	67cc89f38d	Rewrite exhaustiveness checker ... Issue #352 Closes #1720 The old checker would happily accept things like 'alt x { @some(a) { a } }'. It now properly descends into patterns, checks exhaustiveness of booleans, and complains when number/string patterns aren't exhaustive.	2012-02-15 15:47:42 +01:00
Tim Chevalier	fba35e1a3c	Require alts to be exhaustive ... middle::check_alt does the work. Lots of changes to add default cases into alts that were previously inexhaustive.	2012-01-31 10:08:24 -08:00