[commit: ghc] master: Change GeneralizedNewtypeDeriving safety check. (ff3904d)

[git at git.haskell.org]

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

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

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

commit ff3904d9c97ae5e6d23bc1e961129a76ed283f3f
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Oct 21 13:02:57 2013 -0400

    Change GeneralizedNewtypeDeriving safety check.
    
    Now, instead of looking at a class's roles, the GND check looks
    at all of the methods in the class individually. This has the
    advantage that sometimes, we can use information about the
    derivation requested during the safety check. For example,
    we can now derive (IArray UArray), whereas the previous check
    prevented this.


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

ff3904d9c97ae5e6d23bc1e961129a76ed283f3f
 compiler/deSugar/DsBinds.lhs   |   13 ++++++--
 compiler/typecheck/TcDeriv.lhs |   64 +++++++++++++++++++++++++++++++++++-----
 compiler/types/Coercion.lhs    |   57 ++++++++++++++++++++++++++++-------
 3 files changed, 112 insertions(+), 22 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 ff3904d9c97ae5e6d23bc1e961129a76ed283f3f