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

[Julian Seward]

sewardj     2001/10/18 04:43:26 PDT

  Modified files:        (Branch: ghc-5-02-branch)
    ghc/compiler/deSugar DsExpr.lhs 
  Log:
  merge rev 1.74:
  
      -------------------------------------------
      Desugar bindings into Rec groups more often
       [Part 2]
      -------------------------------------------
  
      [I forgot the unlifted case.]
  
      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.72.4.2  +33 -18    fptools/ghc/compiler/deSugar/DsExpr.lhs