[commit: ghc] wip/new-flatten-skolems-Aug14: More progress (ad1ad63)

[git at git.haskell.org]

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

On branch  : wip/new-flatten-skolems-Aug14
Link       : http://ghc.haskell.org/trac/ghc/changeset/ad1ad633aabd35750aff91d7051a5ab82ffabc15/ghc

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

commit ad1ad633aabd35750aff91d7051a5ab82ffabc15
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Oct 2 23:09:40 2014 +0100

    More progress
    
    There is a mysterious point in TcInteract.kick_out that
    I must discuss with Dimitrios


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

ad1ad633aabd35750aff91d7051a5ab82ffabc15
 compiler/typecheck/TcInteract.lhs                  |  6 ++-
 compiler/typecheck/TcSMonad.lhs                    | 12 ++++--
 .../tests/indexed-types/should_fail/T7729.stderr   |  8 +---
 .../tests/indexed-types/should_fail/T8518.stderr   | 15 --------
 .../tests/typecheck/should_fail/ContextStack2.hs   | 44 ++++++++++++++++++++++
 .../typecheck/should_fail/ContextStack2.stderr     |  5 +--
 .../typecheck/should_fail/FDsFromGivens.stderr     |  6 ++-
 testsuite/tests/typecheck/should_fail/T5853.stderr | 23 +++++------
 .../tests/typecheck/should_fail/T7748a.stderr      | 11 ++++--
 testsuite/tests/typecheck/should_fail/T8142.stderr |  4 +-
 testsuite/tests/typecheck/should_fail/T8450.hs     |  3 ++
 testsuite/tests/typecheck/should_fail/T8450.stderr |  8 +---
 .../tests/typecheck/should_fail/tcfail201.stderr   |  9 +++--
 13 files changed, 95 insertions(+), 59 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 ad1ad633aabd35750aff91d7051a5ab82ffabc15