Wed Sep 10 01:20:03 PDT 2008 [EMAIL PROTECTED]
* 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
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
