[commit: ghc] wip/impredicativity: Add a flavor to ids in the environment (40831be)

[git at git.haskell.org]

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

On branch  : wip/impredicativity
Link       : http://ghc.haskell.org/trac/ghc/changeset/40831bebcf857e16b814fe3a9876ceb4834659c6/ghc

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

commit 40831bebcf857e16b814fe3a9876ceb4834659c6
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Wed Jun 17 16:27:09 2015 +0200

    Add a flavor to ids in the environment
    
    This flag is needed to implement the new constraint generation
    and propagation for impredicativity.


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

40831bebcf857e16b814fe3a9876ceb4834659c6
 compiler/typecheck/TcArrows.hs   |  5 +++--
 compiler/typecheck/TcBinds.hs    | 15 +++++++++------
 compiler/typecheck/TcEnv.hs      | 32 +++++++++++++++++---------------
 compiler/typecheck/TcInstDcls.hs |  3 ++-
 compiler/typecheck/TcMatches.hs  | 13 ++++++++-----
 compiler/typecheck/TcPat.hs      |  6 +++---
 compiler/typecheck/TcRnDriver.hs |  4 +++-
 compiler/typecheck/TcRnTypes.hs  |  7 ++++++-
 compiler/typecheck/TcRules.hs    |  6 +++---
 9 files changed, 54 insertions(+), 37 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 40831bebcf857e16b814fe3a9876ceb4834659c6