cvs commit: fptools/ghc/compiler/basicTypes BasicTypes.lhs DataCon.lhs Demand.lhs Id.lhs IdInfo.lhs MkId.lhs NewDemand.lhs fptools/ghc/compiler/coreSyn CorePrep.lhs CoreTidy.lhs CoreUtils.lhs fptools/ghc/compiler/cprAnalysis CprAnalyse.lhs ...

[Simon Peyton Jones]

simonpj     2001/07/23 03:54:50 PDT

  Modified files:
    ghc/compiler/basicTypes BasicTypes.lhs DataCon.lhs Demand.lhs 
                            Id.lhs IdInfo.lhs MkId.lhs 
                            NewDemand.lhs 
    ghc/compiler/coreSyn CorePrep.lhs CoreTidy.lhs CoreUtils.lhs 
    ghc/compiler/cprAnalysis CprAnalyse.lhs 
    ghc/compiler/hsSyn   HsCore.lhs HsDecls.lhs 
    ghc/compiler/main    CmdLineOpts.lhs MkIface.lhs 
    ghc/compiler/parser  Lex.lhs Parser.y 
    ghc/compiler/prelude TysWiredIn.lhs 
    ghc/compiler/rename  ParseIface.y RnSource.lhs 
    ghc/compiler/simplCore SimplUtils.lhs Simplify.lhs 
    ghc/compiler/stranal DmdAnal.lhs SaAbsInt.lhs SaLib.lhs 
                         StrictAnal.lhs WorkWrap.lhs WwLib.lhs 
    ghc/compiler/typecheck TcClassDcl.lhs TcExpr.lhs 
                           TcIfaceSig.lhs 
  Log:
  	---------------------------------
  	Switch to the new demand analyser
  	---------------------------------
  
  This commit makes the new demand analyser the main beast,
  with the old strictness analyser as a backup.  When
  DEBUG is on, the old strictness analyser is run too, and the
  results compared.
  
  WARNING: this isn't thorougly tested yet, so expect glitches.
  Delay updating for a few days if the HEAD is mission critical
  for you.
  
  But do try it out.  I'm away for 2.5 weeks from Thursday, so
  it would be good to shake out any glaring bugs before then.
  
  Revision  Changes    Path
  1.23      +32 -1     fptools/ghc/compiler/basicTypes/BasicTypes.lhs
  1.29      +6 -7      fptools/ghc/compiler/basicTypes/DataCon.lhs
  1.15      +0 -30     fptools/ghc/compiler/basicTypes/Demand.lhs
  1.91      +56 -12    fptools/ghc/compiler/basicTypes/Id.lhs
  1.78      +39 -30    fptools/ghc/compiler/basicTypes/IdInfo.lhs
  1.69      +27 -32    fptools/ghc/compiler/basicTypes/MkId.lhs
  1.3       +104 -33   fptools/ghc/compiler/basicTypes/NewDemand.lhs
  1.6       +12 -13    fptools/ghc/compiler/coreSyn/CorePrep.lhs
  1.50      +9 -9      fptools/ghc/compiler/coreSyn/CoreTidy.lhs
  1.86      +3 -3      fptools/ghc/compiler/coreSyn/CoreUtils.lhs
  1.18      +6 -0      fptools/ghc/compiler/cprAnalysis/CprAnalyse.lhs
  1.40      +4 -6      fptools/ghc/compiler/hsSyn/HsCore.lhs
  1.72      +1 -2      fptools/ghc/compiler/hsSyn/HsDecls.lhs
  1.146     +3 -0      fptools/ghc/compiler/main/CmdLineOpts.lhs
  1.136     +4 -9      fptools/ghc/compiler/main/MkIface.lhs
  1.56      +25 -15    fptools/ghc/compiler/parser/Lex.lhs
  1.72      +2 -3      fptools/ghc/compiler/parser/Parser.y
  1.74      +1 -2      fptools/ghc/compiler/prelude/TysWiredIn.lhs
  1.109     +2 -5      fptools/ghc/compiler/rename/ParseIface.y
  1.125     +2 -3      fptools/ghc/compiler/rename/RnSource.lhs
  1.66      +7 -7      fptools/ghc/compiler/simplCore/SimplUtils.lhs
  1.109     +9 -9      fptools/ghc/compiler/simplCore/Simplify.lhs
  1.4       +100 -99   fptools/ghc/compiler/stranal/DmdAnal.lhs
  1.46      +6 -1      fptools/ghc/compiler/stranal/SaAbsInt.lhs
  1.23      +6 -0      fptools/ghc/compiler/stranal/SaLib.lhs
  1.37      +6 -0      fptools/ghc/compiler/stranal/StrictAnal.lhs
  1.47      +70 -80    fptools/ghc/compiler/stranal/WorkWrap.lhs
  1.50      +98 -198   fptools/ghc/compiler/stranal/WwLib.lhs
  1.99      +1 -2      fptools/ghc/compiler/typecheck/TcClassDcl.lhs
  1.104     +1 -3      fptools/ghc/compiler/typecheck/TcExpr.lhs
  1.74      +6 -12     fptools/ghc/compiler/typecheck/TcIfaceSig.lhs