Rename topDmdType to nopDmdType
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Dec 2013 14:36:25 +0000 (14:36 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Dec 2013 15:42:09 +0000 (15:42 +0000)
commitf64cf134336820cc98fa45578400d9c9606fa8dc
tree3b678634c133249df8f4e50dcf63e7657d458d06
parenta31cb5b07726f5739f6eac35cbb348fcd2d6b598
Rename topDmdType to nopDmdType

because topDmdType is ''not'' the top of the lattice, as it puts an
implicit absent demand on free variables, but Abs is the bottom of the
Usage lattice.

Why nopDmdType? Becuase it is the demand of doing nothing: Everything
lazy, everything absent, no definite divergence.
compiler/basicTypes/Demand.lhs
compiler/basicTypes/Id.lhs
compiler/basicTypes/IdInfo.lhs
compiler/coreSyn/CoreArity.lhs
compiler/iface/MkIface.lhs
compiler/main/TidyPgm.lhs
compiler/stranal/DmdAnal.lhs