From 89b7f3095523a34415117102ecead9d0d97f7451 Mon Sep 17 00:00:00 2001
From: Denis Buzdalov <public@buzden.ru>
Date: Thu, 14 Dec 2023 13:24:16 +0300
Subject: [PATCH] [ refactor ] Move lazy lists from `contrib` to `base`

---
 CHANGELOG.md                                          | 4 ++++
 libs/{contrib => base}/Data/List/Lazy.idr             | 0
 libs/{contrib => base}/Data/List/Lazy/Quantifiers.idr | 0
 libs/base/base.ipkg                                   | 2 ++
 libs/contrib/contrib.ipkg                             | 3 ---
 src/Libraries/Data/List/Lazy.idr                      | 2 ++
 6 files changed, 8 insertions(+), 3 deletions(-)
 rename libs/{contrib => base}/Data/List/Lazy.idr (100%)
 rename libs/{contrib => base}/Data/List/Lazy/Quantifiers.idr (100%)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 65ac3b84404..71dab0c25aa 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -258,6 +258,8 @@
   function and clean up all system resources (to not to leave zombie processes in
   particular).
 
+* `Data.List.Lazy` was moved from `contrib` to `base`.
+
 #### System
 
 * Changes `getNProcessors` to return the number of online processors rather than
@@ -287,6 +289,8 @@
 
 * Implements `Sized` for `Data.Seq.Sized` and `Data.Seq.Unsized`.
 
+* `Data.List.Lazy` was moved from `contrib` to `base`.
+
 #### Papers
 
 * In `Control.DivideAndConquer`: a port of the paper
diff --git a/libs/contrib/Data/List/Lazy.idr b/libs/base/Data/List/Lazy.idr
similarity index 100%
rename from libs/contrib/Data/List/Lazy.idr
rename to libs/base/Data/List/Lazy.idr
diff --git a/libs/contrib/Data/List/Lazy/Quantifiers.idr b/libs/base/Data/List/Lazy/Quantifiers.idr
similarity index 100%
rename from libs/contrib/Data/List/Lazy/Quantifiers.idr
rename to libs/base/Data/List/Lazy/Quantifiers.idr
diff --git a/libs/base/base.ipkg b/libs/base/base.ipkg
index 299c1c0a237..d740cba6b84 100644
--- a/libs/base/base.ipkg
+++ b/libs/base/base.ipkg
@@ -56,6 +56,8 @@ modules = Control.App,
           Data.List,
           Data.List.Elem,
           Data.List.HasLength,
+          Data.List.Lazy,
+          Data.List.Lazy.Quantifiers,
           Data.List.Quantifiers,
           Data.List.Views,
           Data.List1,
diff --git a/libs/contrib/contrib.ipkg b/libs/contrib/contrib.ipkg
index ccf9ec824fe..69235dee766 100644
--- a/libs/contrib/contrib.ipkg
+++ b/libs/contrib/contrib.ipkg
@@ -54,9 +54,6 @@ modules = Control.ANSI,
 
           Data.List.Elem.Extra,
 
-          Data.List.Lazy,
-          Data.List.Lazy.Quantifiers,
-
           Data.Logic.Propositional,
 
           Data.Monoid.Exponentiation,
diff --git a/src/Libraries/Data/List/Lazy.idr b/src/Libraries/Data/List/Lazy.idr
index 0d1ce7173e0..78e8abfe97a 100644
--- a/src/Libraries/Data/List/Lazy.idr
+++ b/src/Libraries/Data/List/Lazy.idr
@@ -1,3 +1,5 @@
+-- This module is to be removed as soon as 0.7.* is released, since `Data.List.Lazy` is now in `base`
+
 module Libraries.Data.List.Lazy
 
 %default total