summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/ghci.rst6
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst
index b52d9e979b..0263ea10e9 100644
--- a/docs/users_guide/ghci.rst
+++ b/docs/users_guide/ghci.rst
@@ -1022,10 +1022,10 @@ is given, the following additional differences apply:
single-parameter type classes.
- Rule 3 above is relaxed this: At least one of the classes ``Ci`` is
- numeric, or is ``Show``, ``Eq``, or ``Ord``.
+ numeric, or is ``Show``, ``Eq``, ``Ord``, ``Foldable`` or ``Traversable``.
-- The unit type ``()`` is added to the start of the standard list of
- types which are tried when doing type defaulting.
+- The unit type ``()`` and the list type ``[]`` are added to the start of
+ the standard list of types which are tried when doing type defaulting.
The last point means that, for example, this program: