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

[Simon Peyton Jones]

simonpj     2001/10/17 04:05:36 PDT

  Modified files:
    ghc/compiler/deSugar DsBinds.lhs DsExpr.lhs 
  Log:
  	-------------------------------------------
  	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.48      +16 -8     fptools/ghc/compiler/deSugar/DsBinds.lhs
  1.73      +9 -4      fptools/ghc/compiler/deSugar/DsExpr.lhs