Accommodate API change in transSuperClasses
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 23 Aug 2018 08:22:42 +0000 (09:22 +0100)
committerBen Gamari <ben@smart-cactus.org>
Thu, 23 Aug 2018 22:39:34 +0000 (18:39 -0400)
commit02829747cdf72fe83e511232cef12cd01df5dce6
tree2e041ee9ac720a4ca6038d470f9f01aaa1ad415d
parent047c17a42f97fbd5df972b2c322b0ad0c6f9fdcd
Accommodate API change in transSuperClasses

In this patch

    commit 6eabb6ddb7c53784792ee26b1e0657bde7eee7fb
    Author: Simon Peyton Jones <simonpj@microsoft.com>
    Date:   Tue Dec 15 14:26:13 2015 +0000

    Allow recursive (undecidable) superclasses

I changed (transSuperClasses p) to return only the
superclasses of p, but not p itself. (Previously it always
returned p as well.)

The use of transSuperClasses in TcErrors.warnRedundantConstraints
really needs 'p' in the result -- but I faild to fix this
call site, and instead crippled the test for Trac #10100.

This patch sets things right

* Accomodates the API change
* Re-enables T10100
* And thereby fixes Trac #11474

(cherry picked from commit 4293a80a3ea835412737911bcb2a6703e9af378b)
compiler/typecheck/TcErrors.hs
testsuite/tests/typecheck/should_compile/T10100.hs