3 Commits

Author	SHA1	Message	Date
Jakub Wieczorek	abce42afa3	Address review comments	2014-06-20 17:41:19 +02:00
Jakub Wieczorek	34407dcdbb	Provide a witness pattern for non-exhaustive patterns ... Fixed #4321	2014-06-20 17:08:57 +02:00
Jakub Wieczorek	f5e513b2b2	Check pattern refutability the same way exhaustiveness is checked	2014-06-20 17:08:57 +02:00