2 Commits

Author	SHA1	Message	Date
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	e0985c1060	Handle alt on a _|_ - typed value ... Return the result of the discriminant from trans_alt, rather than nil, in the _|_ case. This was breaking the enclosed test case (alt-bot-2) when optimization was disabled. Closes #769	2011-08-04 16:07:26 -07:00