-
Ben Gamari authored
GHC's exhaustiveness checker used to be quite rudimentary. As of GHC 8.0 we have a new exhaustiveness checker which correctly recognizes the cases covered by these equations as invalid.
5405469b
GHC's exhaustiveness checker used to be quite rudimentary. As of GHC 8.0 we have a new exhaustiveness checker which correctly recognizes the cases covered by these equations as invalid.