exprIsBottom should look through type lambdas
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 23 Mar 2015 09:17:25 +0000 (10:17 +0100)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 23 Mar 2015 19:33:35 +0000 (20:33 +0100)
commit5673bfc49ec1e54a1540197078041a9da9754fa3
tree891071eb3cd5c66d2b0f909448dda5de4e3008da
parentc1edbdfd9148ad9f74bfe41e76c524f3e775aaaa
exprIsBottom should look through type lambdas

as evaluting (\ (@ a) -> e) diverges if and only if evaluating e
diverges. This was found in the context of #10180.
compiler/coreSyn/CoreUtils.hs