Make types of bothDmdType more precise
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Dec 2013 18:40:09 +0000 (18:40 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 16 Dec 2013 21:08:06 +0000 (22:08 +0100)
commit0e2fd365301748ac7535ed15f46d159814b71438
tree9cd25d509eefc61115b350f7c34f2d3e1e4b107e
parent72b62242288d23299d77245faed8c5fc4dab1d4f
Make types of bothDmdType more precise

by only passing the demand on the free variables, and whether the
argument (resp. scrunitee) may or will diverge.
compiler/basicTypes/Demand.lhs
compiler/stranal/DmdAnal.lhs