• simonpj's avatar
    [project @ 2001-10-17 13:16:03 by simonpj] · 7a5920b3
    simonpj authored
    -------------------------------------------
      	Desugar bindings into Rec groups more often
    		[Part 2]
      	-------------------------------------------
    
    	** MERGE PLEASE **
    
    	  [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.
    7a5920b3