[commit: ghc] wip/gadtpm: Added some fields in constructor abstraction (ConAbs) (0a8925f)

[git at git.haskell.org]

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

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/0a8925f2eaebc6a21548b97ca2fc3978ba79916c/ghc

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

commit 0a8925f2eaebc6a21548b97ca2fc3978ba79916c
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Tue Jun 23 14:36:44 2015 +0200

    Added some fields in constructor abstraction (ConAbs)
    
      * Plus: Tiny work on incremental term equality solving


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

0a8925f2eaebc6a21548b97ca2fc3978ba79916c
 compiler/deSugar/Check.hs | 180 +++++++++++++++++++++++++++++++---------------
 1 file changed, 122 insertions(+), 58 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 0a8925f2eaebc6a21548b97ca2fc3978ba79916c