[commit: ghc] master: Reimplement Unify.typesCantMatch in terms of apartness. (9b105c6)

[git at git.haskell.org]

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

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

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

commit 9b105c6d3597ab9b0157ed831d5445d2b619130f
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Jun 16 08:57:52 2015 -0400

    Reimplement Unify.typesCantMatch in terms of apartness.
    
    Because typesCantMatch must also work with type functions, this
    requires teaching the unifier about type functions and injectivity.
    Also, some refactoring to use the UM monad more.


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

9b105c6d3597ab9b0157ed831d5445d2b619130f
 compiler/types/Unify.hs | 266 +++++++++++++++++++-----------------------------
 1 file changed, 102 insertions(+), 164 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 9b105c6d3597ab9b0157ed831d5445d2b619130f