Fri Sep 29 15:28:45 PDT 2006 [EMAIL PROTECTED]
* Simplify the way in which the coKindFun in CoercionTyCon is handled
Before the coKindFun could be applied to too many arguments;
now it expects exactly the right number of arguments. That
makes it easier to write the coKindFuns, and localises the work.
M ./compiler/types/Coercion.lhs -41 +28
M ./compiler/types/TyCon.lhs -3 +5
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
