Completed non exhaustive pattern matchings in compiler