summaryrefslogtreecommitdiff
path: root/docs/users_guide/bugs.rst
diff options
context:
space:
mode:
authorJoshua Price <joshprice247@gmail.com>2019-05-19 14:40:47 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-05-27 10:06:28 -0400
commit3f6e5b976fe6bcb61aa44a4467e8f94841e979cf (patch)
treee1b50faff0421022e75ad6980f6a60afd7b0302d /docs/users_guide/bugs.rst
parentdcd843accc5554e1401987f1e7461dd836223daa (diff)
downloadhaskell-3f6e5b976fe6bcb61aa44a4467e8f94841e979cf.tar.gz
Correct the large tuples section in user's guide
Fixes #16644.
Diffstat (limited to 'docs/users_guide/bugs.rst')
-rw-r--r--docs/users_guide/bugs.rst16
1 files changed, 8 insertions, 8 deletions
diff --git a/docs/users_guide/bugs.rst b/docs/users_guide/bugs.rst
index 9222a68b15..6ce5796f6d 100644
--- a/docs/users_guide/bugs.rst
+++ b/docs/users_guide/bugs.rst
@@ -312,14 +312,6 @@ Multiply-defined array elements not checked
In ``Prelude`` support
^^^^^^^^^^^^^^^^^^^^^^
-Arbitrary-sized tuples
- Tuples are currently limited to size 100. However, standard
- instances for tuples (``Eq``, ``Ord``, ``Bounded``, ``Ix``, ``Read``,
- and ``Show``) are available *only* up to 16-tuples.
-
- This limitation is easily subvertible, so please ask if you get
- stuck on it.
-
``splitAt`` semantics
``Data.List.splitAt`` is more strict than specified in the Report.
Specifically, the Report specifies that ::
@@ -481,6 +473,14 @@ Unchecked floating-point arithmetic
.. index::
single: floating-point exceptions.
+Large tuple support
+ The Haskell Report only requires implementations to provide tuple
+ types and their accompanying standard instances up to size 15. GHC
+ limits the size of tuple types to 62 and provides instances of
+ ``Eq``, ``Ord``, ``Bounded``, ``Read``, and ``Show`` for tuples up
+ to size 15. However, ``Ix`` instances are provided only for tuples
+ up to size 5.
+
.. _bugs:
Known bugs or infelicities