diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-03-03 12:51:46 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-03-06 13:29:27 +0000 |
| commit | 995ab74b3c55fe3a0299bd94b49e948c942e76d6 (patch) | |
| tree | f9b0c82025c88b7721a7370d1a44a139801518b9 | |
| parent | 1163f4f2fe9aabd722c963497c67c5f8c71ef71b (diff) | |
| download | haskell-995ab74b3c55fe3a0299bd94b49e948c942e76d6.tar.gz | |
Comments only
| -rw-r--r-- | compiler/basicTypes/Demand.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/basicTypes/Demand.hs b/compiler/basicTypes/Demand.hs index eab01d0605..1ba25c680c 100644 --- a/compiler/basicTypes/Demand.hs +++ b/compiler/basicTypes/Demand.hs @@ -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 |