patch applied (ghc): Make -fdicts-cheap cope with implication constraints

[Simon Peyton Jones]

Thu Mar  5 05:44:47 PST 2009  simonpj at microsoft.com
  * Make -fdicts-cheap cope with implication constraints
  Ignore-this: 5fe66cc26e4dc6f233c73350cef7a110
  
  See the Note [Dictionary-like types] in TcType for the full story here
  Should only affect programs that use -fdicts-cheap, for
  which you'll get better arities
  

    M ./compiler/coreSyn/CoreArity.lhs -1 +5
    M ./compiler/typecheck/TcType.lhs -1 +39

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090305134447-1287e-dc12a9a439b538dcec992ff94d2503632125fa5a.gz