[commit: ghc] wip/impredicativity: Work on constraint generation for impredicativity (0696ce2)

[git at git.haskell.org]

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

On branch  : wip/impredicativity
Link       : http://ghc.haskell.org/trac/ghc/changeset/0696ce2400dbda332cea35ad7b535f1d9b9594b6/ghc

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

commit 0696ce2400dbda332cea35ad7b535f1d9b9594b6
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Thu Jun 18 15:33:58 2015 +0200

    Work on constraint generation for impredicativity
    
    This is preliminary work, right now the compiler crashes
    because desugaring has not been yet implemented.
    
    Generation for patterns has not been updated either, it
    defaults to considering all variables monomorphic.


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

0696ce2400dbda332cea35ad7b535f1d9b9594b6
 compiler/typecheck/Inst.hs        |   4 +-
 compiler/typecheck/TcArrows.hs    |  14 +-
 compiler/typecheck/TcBinds.hs     |   4 +-
 compiler/typecheck/TcEvidence.hs  |  13 +-
 compiler/typecheck/TcExpr.hs      | 264 +++++++++++++++++++++-----------------
 compiler/typecheck/TcExpr.hs-boot |   7 +-
 compiler/typecheck/TcForeign.hs   |   2 +-
 compiler/typecheck/TcHsSyn.hs     |  20 +++
 compiler/typecheck/TcMatches.hs   |  36 +++---
 compiler/typecheck/TcRnDriver.hs  |   2 +-
 compiler/typecheck/TcRules.hs     |   2 +-
 compiler/typecheck/TcSplice.hs    |  10 +-
 12 files changed, 217 insertions(+), 161 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 0696ce2400dbda332cea35ad7b535f1d9b9594b6