Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

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

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

commit e5449309ba0a574f9a93529f88a4b55640d022fa
Author: Dimitrios Vytiniotis <[email protected]>
Date:   Sat Nov 26 18:15:47 2011 +0000

    isReflCo no longer reliable for detection of type identity.
    
    Details:
    isReflCo is no longer reliable for detection of no-rewriting/flattening
    since we are using cached reflexivity solved goals. Introduced a boolean
    flag in the flattener for this purpose, instead.

 compiler/typecheck/TcCanonical.lhs |  110 +++++++++++++++--------------------
 compiler/typecheck/TcInteract.lhs  |  113 ++++++++++++++++--------------------
 compiler/typecheck/TcSMonad.lhs    |   84 ++++++++++++++++-----------
 3 files changed, 146 insertions(+), 161 deletions(-)


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

    git show e5449309ba0a574f9a93529f88a4b55640d022fa

_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to