cvs commit: fptools/ghc/compiler/deSugar DsBinds.lhs DsExpr.lhs

[Julian Seward]

sewardj     2001/10/18 03:50:48 PDT

  Modified files:        (Branch: ghc-5-02-branch)
    ghc/compiler/deSugar DsBinds.lhs DsExpr.lhs 
  Log:
  merge revs
    1.48      +16 -8     fptools/ghc/compiler/deSugar/DsBinds.lhs
    1.73      +9 -4      fptools/ghc/compiler/deSugar/DsExpr.lhs
  
    -------------------------------------------
    Desugar bindings into Rec groups more often
    -------------------------------------------
  
    In rather obscure cases (involving functional dependencies)
    it is possible to get an AbsBinds [] [] (no tyvars, no dicts)
    which nevertheless has some "dictionary bindings".  These
    come out of the typechecker in non-dependency order, so we
    need to Rec them just in case.
  
    It turns out to be a bit awkward.  The smallest fix is
    to make dsLet always make a Rec; brutal but correct.
  
  Revision  Changes    Path
  1.47.4.1  +16 -8     fptools/ghc/compiler/deSugar/DsBinds.lhs
  1.72.4.1  +9 -4      fptools/ghc/compiler/deSugar/DsExpr.lhs