[commit: base] data-proxy: Finish implementing poly-kinded gcast and Data.Type.Equality (f6b521c)

[Richard Eisenberg]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : data-proxy

http://hackage.haskell.org/trac/ghc/changeset/f6b521c94c4747116af8738a9db7dfac612325ce

>---------------------------------------------------------------

commit f6b521c94c4747116af8738a9db7dfac612325ce
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Jul 22 09:35:50 2013 +0100

    Finish implementing poly-kinded gcast and Data.Type.Equality

 Data/Proxy.hs              |    7 ++++
 Data/Proxy.hs-boot         |    4 +-
 Data/Type/Equality.hs      |   89 +++++++++++++++++---------------------------
 Data/Type/Equality.hs-boot |    6 +++
 Data/Typeable.hs           |   38 +++++++++----------
 5 files changed, 68 insertions(+), 76 deletions(-)


Diff suppressed because of size. To see it, use:

    git show f6b521c94c4747116af8738a9db7dfac612325ce