Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 3 Mar 2017 12:51:46 +0000 (12:51 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 6 Mar 2017 13:29:27 +0000 (13:29 +0000)
compiler/basicTypes/Demand.hs

index eab01d0..1ba25c6 100644 (file)
@@ -1327,7 +1327,7 @@ splitDmdTy ty@(DmdType _ [] res_ty)       = (resTypeArgDmd res_ty, ty)
 -- what of this demand should we consider, given that the IO action can cleanly
 -- exit?
 -- * We have to kill all strictness demands (i.e. lub with a lazy demand)
--- * We can keep demand information (i.e. lub with an absent demand)
+-- * We can keep usage information (i.e. lub with an absent demand)
 -- * We have to kill definite divergence
 -- * We can keep CPR information.
 -- See Note [IO hack in the demand analyser] in DmdAnal