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

Simon Peyton Jones simonpj@glass.cse.ogi.edu
Wed, 25 Jul 2001 08:55:31 -0700 

simonpj     2001/07/25 08:55:31 PDT

  Modified files:
    ghc/compiler/typecheck TcSimplify.lhs 
  Log:
  	-----------------------------------------
  	Fix a bug in the monomorphism restriction
  	------------------------------------------
  
  Thanks for Koen for reporting this bug.
  
  In tcSimplifyRestricted, I wrongly called tcSimpifyToDicts,
  whereas actually we have to simplfy further than simply to
  a dictionary.
  
  The test for this is in typecheck/should_compile/tc132.hs
  
  Revision  Changes    Path
  1.81      +10 -4     fptools/ghc/compiler/typecheck/TcSimplify.lhs