diff options
| author | GHC GitLab CI <ghc-ci@gitlab-haskell.org> | 2020-09-26 12:56:01 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-15 21:57:50 -0400 |
| commit | 6b14c4185ca944295d5cfa60ebc6f7ab2a257fc9 (patch) | |
| tree | 98cca4a3717174bd0b66d06a5cbf08362ec6b206 /testsuite/tests/polykinds | |
| parent | 998803dc4dbceb36074644483e11e6183fa5355a (diff) | |
| download | haskell-6b14c4185ca944295d5cfa60ebc6f7ab2a257fc9.tar.gz | |
Extend mAX_TUPLE_SIZE to 64
As well a ctuples and sums.
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T10451.hs | 5 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T10451.stderr | 19 |
2 files changed, 13 insertions, 11 deletions
diff --git a/testsuite/tests/polykinds/T10451.hs b/testsuite/tests/polykinds/T10451.hs index 15e76f1238..eae448c5aa 100644 --- a/testsuite/tests/polykinds/T10451.hs +++ b/testsuite/tests/polykinds/T10451.hs @@ -17,7 +17,7 @@ type S a = ( Eq a, Eq a, Eq a, Eq a , Eq a, Eq a, Eq a, Eq a , Eq a, Eq a, Eq a, Eq a , Eq a, Eq a, Eq a, Eq a - , Eq a, Eq a ) + , Eq a, Eq a, Eq a, Eq a ) type T a = ( Eq a, Eq a, Eq a, Eq a , Eq a, Eq a, Eq a, Eq a @@ -34,5 +34,6 @@ type T a = ( Eq a, Eq a, Eq a, Eq a , Eq a, Eq a, Eq a, Eq a , Eq a, Eq a, Eq a, Eq a , Eq a, Eq a, Eq a, Eq a - , Eq a, Eq a, Eq a, Eq a) + , Eq a, Eq a, Eq a, Eq a + , Eq a, Eq a) diff --git a/testsuite/tests/polykinds/T10451.stderr b/testsuite/tests/polykinds/T10451.stderr index b82d6d5d3d..b8c17be28d 100644 --- a/testsuite/tests/polykinds/T10451.stderr +++ b/testsuite/tests/polykinds/T10451.stderr @@ -1,11 +1,12 @@ T10451.hs:22:12: error: - Constraint tuple arity too large: 64 (max arity = 62) - Instead, use a nested tuple - In the type ‘(Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, - Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, - Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, - Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, - Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, - Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a)’ - In the type declaration for ‘T’ + • Constraint tuple arity too large: 66 (max arity = 64) + Instead, use a nested tuple + • In the type ‘(Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, + Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, + Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, + Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, + Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, + Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, + Eq a, Eq a, Eq a)’ + In the type declaration for ‘T’ |