Improve support for fixed vector patterns#14624

Closed

ghost wants to merge 3 commits intomasterfrom

unknown repository

Commits on Jun 5, 2014

Check pattern refutability the same way exhaustiveness is checked
Jakub Wieczorek
committed
Add unreachability detection for missized patterns of fixed size vectors
Jakub Wieczorek
committed
Add support for fixed size vectors in let/arg patterns
Jakub Wieczorek
committed