cvs commit: fptools/ghc/compiler/typecheck TcSimplify.lhs Inst.lhs TcExpr.lhs

[Simon Peyton Jones]

simonpj     2001/05/03 01:13:25 PDT

  Modified files:
    ghc/compiler/typecheck TcSimplify.lhs Inst.lhs TcExpr.lhs 
  Log:
  	****	MERGE WITH 5.00 BRANCH     ********
  
  	--------------------------------
  	Fix a bad implicit parameter bug
  	--------------------------------
  
  TcSimplify.tcSimplifyIPs was just completely wrong; it wasn't
  doing improvement properly nor binding values properly. Sigh.
  
  To make this work nicely I added
  	Inst.instName :: Inst -> Name
  
  Revision  Changes    Path
  1.74      +33 -16    fptools/ghc/compiler/typecheck/TcSimplify.lhs
  1.77      +8 -3      fptools/ghc/compiler/typecheck/Inst.lhs
  1.96      +4 -1      fptools/ghc/compiler/typecheck/TcExpr.lhs