[commit: ghc] master: Note [The equality types story] in TysPrim (046b47a)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/046b47ab5a077e76abd9610946428419cfe82ca9/ghc

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

commit 046b47ab5a077e76abd9610946428419cfe82ca9
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Dec 16 13:04:09 2015 -0500

    Note [The equality types story] in TysPrim
    
    This supercedes the Note recently written in TysWiredIn.


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

046b47ab5a077e76abd9610946428419cfe82ca9
 compiler/prelude/PrelNames.hs        |   2 +-
 compiler/prelude/TysPrim.hs          | 150 ++++++++++++++++++++++++++++++++---
 compiler/prelude/TysWiredIn.hs       |  31 +-------
 compiler/typecheck/TcInteract.hs     |   2 +
 compiler/typecheck/TcRnTypes.hs      |   2 +
 compiler/typecheck/TcUnify.hs        |   3 +-
 compiler/types/Class.hs              |   1 +
 libraries/base/Data/Type/Equality.hs |  13 ++-
 libraries/ghc-prim/GHC/Types.hs      |   6 +-
 9 files changed, 158 insertions(+), 52 deletions(-)

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

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 046b47ab5a077e76abd9610946428419cfe82ca9