[commit: ghc] master: Fix Trac #8020. (bd0ab6c)

[Richard Eisenberg]

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

On branch  : master

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

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

commit bd0ab6c2b478aea308ec405a3c24d0068bb96569
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Fri Aug 2 10:51:35 2013 +0100

    Fix Trac #8020.
    
    The solution is to use a different notion of apartness. See
    http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/axioms-extended.pdf
    for the gory details. Some comments are also in Notes [Compatibility]
    and [Apartness] in FamInstEnv.

 compiler/coreSyn/TrieMap.lhs   |   11 +++-
 compiler/ghc.mk                |    2 +-
 compiler/types/FamInstEnv.lhs  |  136 ++++++++++++++++++++++++++++++++++++--
 compiler/types/OptCoercion.lhs |   15 +++--
 compiler/types/Unify.lhs       |  143 +++++++++++-----------------------------
 docs/core-spec/core-spec.mng   |   14 ++--
 docs/core-spec/core-spec.pdf   |  Bin 347921 -> 349150 bytes
 7 files changed, 197 insertions(+), 124 deletions(-)


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

    git show bd0ab6c2b478aea308ec405a3c24d0068bb96569