cvs commit: fptools/ghc/compiler/basicTypes NewDemand.lhs fptools/ghc/compiler/stranal DmdAnal.lhs

[Simon Peyton Jones]

simonpj     2001/10/18 06:09:50 PDT

  Modified files:
    ghc/compiler/basicTypes NewDemand.lhs 
    ghc/compiler/stranal DmdAnal.lhs 
  Log:
  Fix two minor bugs in DmdAnal, and add comments.
  The bugs were both in dmdTransform, the dataConId case
  
    * The test for saturation should be against call_depth
      not agaainst (length ds).
  
    * The arg_ds computation for k=Keep should be
      with 'both' not 'lub'.
  
  Revision  Changes    Path
  1.11      +10 -1     fptools/ghc/compiler/basicTypes/NewDemand.lhs
  1.21      +29 -18    fptools/ghc/compiler/stranal/DmdAnal.lhs