Guard redundant equations
authorBen Gamari <ben@smart-cactus.org>
Thu, 3 Dec 2015 18:45:07 +0000 (13:45 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 3 Dec 2015 18:45:07 +0000 (13:45 -0500)
commit5405469b2357580a653ceb41c15c33091b2d1a06
tree612ffd14d32e1b8cd484a538dfb8bc9db37c6dac
parent84255f0fe07f3fd1f5bc96e60b64c582394edcf1
Guard redundant equations

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.
src/Compiler/Hoopl/Dataflow.hs
src/Compiler/Hoopl/Graph.hs