diff options
| author | David Kraeutmann <kane@kane.cx> | 2015-10-20 22:39:51 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-10-20 22:40:08 +0200 |
| commit | bb7e93c9c78bdf746e34cf6715eeffa6dd5682de (patch) | |
| tree | abe1ea8d29ec36e241877cc6482347cec3505baf /docs | |
| parent | 1750ebc2e40bab85246717326d3d5c60f132e652 (diff) | |
| download | haskell-bb7e93c9c78bdf746e34cf6715eeffa6dd5682de.tar.gz | |
Extended default rules now specialize Foldable, Traversable to [] (#10971)
Default rules deliberately accept any kind.
Reviewed By: simonpj, thomie, goldfire
Differential Revision: https://phabricator.haskell.org/D1329
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/ghci.rst | 6 |
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: |