diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-23 09:22:42 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-23 11:40:52 +0100 |
| commit | 4293a80a3ea835412737911bcb2a6703e9af378b (patch) | |
| tree | d5ebd8ff43d27ddc9392e8be1c7e0d1870d23bab /testsuite | |
| parent | 2a54209f8f8ca665b9bee617bf96397b2c75a3da (diff) | |
| download | haskell-4293a80a3ea835412737911bcb2a6703e9af378b.tar.gz | |
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
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T10100.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T10100.hs b/testsuite/tests/typecheck/should_compile/T10100.hs index 031be76ce2..b88803c633 100644 --- a/testsuite/tests/typecheck/should_compile/T10100.hs +++ b/testsuite/tests/typecheck/should_compile/T10100.hs @@ -2,7 +2,6 @@ {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} -{-# OPTIONS_GHC -fno-warn-redundant-constraints #-} module T10100 where |