[commit: base] master: Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning (365b9d8)

[Richard Eisenberg]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/365b9d86d195dc483610a68836b4063656602244

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

commit 365b9d86d195dc483610a68836b4063656602244
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Jul 24 12:38:50 2013 +0100

    Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning
    
    This commit includes a propositional equality (:=:) in Data.Type.Equality,
    a Proxy type in Data.Proxy, and has updates to Typeable.
    
    There is an unfortunate number of hs-boot files necessary, but that
    seems cleaner than moving Typeable instances around willy-nilly.

 Data/Data.hs                   |    2 +-
 Data/Proxy.hs                  |  129 ++++++++++++++++++++++++++++++++++++++++
 Data/Proxy.hs-boot             |    5 ++
 Data/Type/Equality.hs          |   99 ++++++++++++++++++++++++++++++
 Data/Type/Equality.hs-boot     |    6 ++
 Data/Typeable.hs               |   42 +++++++------
 Data/Typeable/Internal.hs      |    5 +-
 Data/Typeable/Internal.hs-boot |    3 +-
 base.cabal                     |    2 +
 9 files changed, 269 insertions(+), 24 deletions(-)


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

    git show 365b9d86d195dc483610a68836b4063656602244