summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--libraries/base/Data/List.hs5
-rw-r--r--libraries/base/changelog.md2
2 files changed, 6 insertions, 1 deletions
diff --git a/libraries/base/Data/List.hs b/libraries/base/Data/List.hs
index 4474e51268..6f55808394 100644
--- a/libraries/base/Data/List.hs
+++ b/libraries/base/Data/List.hs
@@ -18,8 +18,9 @@
module Data.List
(
-- * Basic functions
+ List
- (++)
+ , (++)
, head
, last
, tail
@@ -221,6 +222,8 @@ import Data.OldList hiding ( all, and, any, concat, concatMap, elem, find,
import GHC.Base ( Bool(..), Eq((==)), otherwise )
+type List = []
+
-- | The 'isSubsequenceOf' function takes two lists and returns 'True' if all
-- the elements of the first list occur, in order, in the second. The
-- elements do not have to occur consecutively.
diff --git a/libraries/base/changelog.md b/libraries/base/changelog.md
index 0a9915feff..12c24e5750 100644
--- a/libraries/base/changelog.md
+++ b/libraries/base/changelog.md
@@ -39,6 +39,8 @@
`Ptr ()` to `CUIntPtr`. For typical glibc based platforms, the
affected type is `CTimer`.
+ * `Data.List` now defines `type List = []`.
+
## 4.16.0.0 *Nov 2021*
* The unary tuple type, `Solo`, is now exported by `Data.Tuple`.