[commit: ghc] master: Validate inferred theta. Fixes #8883 (1d2ffb6)

[git at git.haskell.org]

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

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

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

commit 1d2ffb6ab1ef973c85f893b5ea4a72cfa59ce484
Author: Jan Stolarek <jan.stolarek at p.lodz.pl>
Date:   Sat Apr 19 06:58:07 2014 +0200

    Validate inferred theta. Fixes #8883
    
    This checks that all the required extensions are enabled for the
    inferred type signature.
    
    Updates binary and vector submodules.


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

1d2ffb6ab1ef973c85f893b5ea4a72cfa59ce484
 compiler/llvmGen/LlvmCodeGen.hs                    |    1 +
 compiler/nativeGen/RegAlloc/Liveness.hs            |    1 +
 compiler/nativeGen/X86/Instr.hs                    |    1 +
 compiler/typecheck/TcBinds.lhs                     |    5 +++++
 compiler/typecheck/TcSMonad.lhs                    |    1 +
 libraries/binary                                   |    2 +-
 libraries/vector                                   |    2 +-
 .../indexed-types/should_compile/ColInference6.hs  |    2 +-
 .../indexed-types/should_compile/IndTypesPerf.hs   |    2 ++
 .../should_compile/IndTypesPerfMerge.hs            |    2 +-
 testsuite/tests/perf/should_run/T2902_A.hs         |    2 +-
 testsuite/tests/perf/should_run/T2902_B.hs         |    2 +-
 testsuite/tests/perf/should_run/T5113.hs           |    2 +-
 testsuite/tests/rebindable/DoRestrictedM.hs        |    2 +-
 testsuite/tests/typecheck/should_compile/tc168.hs  |    2 +-
 testsuite/tests/typecheck/should_compile/tc231.hs  |    2 +-
 testsuite/tests/typecheck/should_fail/T8883.hs     |   20 ++++++++++++++++++++
 testsuite/tests/typecheck/should_fail/T8883.stderr |    7 +++++++
 testsuite/tests/typecheck/should_fail/tcfail093.hs |    2 +-
 19 files changed, 49 insertions(+), 11 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 1d2ffb6ab1ef973c85f893b5ea4a72cfa59ce484