patch applied (ghc): Fix the zonking of HsWrappers

[Simon Peyton Jones]

Wed Sep 10 01:20:03 PDT 2008  simonpj at microsoft.com
  * Fix the zonking of HsWrappers
  
  HsWrappers are horribly inconsistent at the moment. I intended that
    WpLam, WpApp     are for evidence abstraction/application
    WpTyLam, WpTyApp are for type abstraction/application
  
  But when we zonk (WpApp co), where co is a coercion variable, we 
  get a *coercion* not a coercion *variable*.   So for now I'm making
  it into a WpTyApp, which the desugarer handles perfectly well.
  
  (I'd forgotten to zonk it properly at all; that is the bug that 
  this patch fixes.)
  

    M ./compiler/typecheck/TcHsSyn.lhs -2 +9

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080910082003-1287e-912d9dfb3b6debe7523924a8e3546c15e6f153a6.gz