diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-11-28 17:15:16 (GMT) |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-11-28 17:15:16 (GMT) |
| commit | 27a6bdf029491a7bbd50377932ae86ede5b5020a (patch) | |
| tree | 9bd734cfb458aa5fe45fb4edd666cd0b3b54136c | |
| parent | 605af54aee76cd3d02afb60ff0b0dde052645fe7 (diff) | |
| download | ghc-27a6bdf029491a7bbd50377932ae86ede5b5020a.zip ghc-27a6bdf029491a7bbd50377932ae86ede5b5020a.tar.gz ghc-27a6bdf029491a7bbd50377932ae86ede5b5020a.tar.bz2 | |
Test Trac #12885
...which is fixed by
commit 0476a64e70c91b326b53db2fc55adbbaa8e5c270
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date: Tue Oct 25 15:22:17 2016 +0100
Fix a bug in mk_superclasses_of
| -rw-r--r-- | testsuite/tests/polykinds/T12885.hs | 12 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/all.T | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T12885.hs b/testsuite/tests/polykinds/T12885.hs new file mode 100644 index 0000000..5da4981 --- /dev/null +++ b/testsuite/tests/polykinds/T12885.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE TypeFamilies, ConstraintKinds #-} + +module Foo where + +import GHC.Exts + +f :: F [a] => a -> Bool +f x = x == x + +type family F a :: Constraint +type instance F [a] = (Show a, (Show a, (Show a, (Show a, (Show a, + Show a, (Show a, (Show a, (Show a, (Show a, Eq a))))))))) diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index 0e0d66a..db06932 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -155,3 +155,4 @@ test('T12593', normal, compile_fail, ['']) test('T12668', normal, compile, ['']) test('T12718', normal, compile, ['']) test('T12444', normal, compile_fail, ['']) +test('T12885', normal, compile, ['']) |