[commit: ghc] master: Comments on equality types and classes (b8ca645)

[git at git.haskell.org]

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

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

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

commit b8ca64592e331005def4f734e026d5418950e6e1
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Dec 15 14:22:37 2015 +0000

    Comments on equality types and classes
    
    This is really just doucumenting one aspect of the kind-equality patch.
    
    See especially Note [Equality types and classes] in TysWiredIn.
    Other places should just point to this Note.
    
    Richard please check for veracity.


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

b8ca64592e331005def4f734e026d5418950e6e1
 compiler/prelude/TysPrim.hs          | 57 ++++++++++++++++++++----------------
 compiler/prelude/TysWiredIn.hs       | 50 ++++++++++++++++++++++++++++---
 libraries/base/Data/Type/Equality.hs | 20 +++++++++----
 libraries/ghc-prim/GHC/Types.hs      |  6 ++--
 4 files changed, 96 insertions(+), 37 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 b8ca64592e331005def4f734e026d5418950e6e1