matijapretnar/eff — pull request #6 by timotejlazar (2012-05-05 11:55:31+00:00)
Title: Warnings for pattern matching

Add checks for useless patterns and non-exhaustive pattern lists in match and let expressions. Common.uniq should be fixed to work for lists of big_ints before this is accepted.