From 13f069440723d042b02110def7b04cf247661a99 Mon Sep 17 00:00:00 2001
From: Denis Buzdalov <public@buzden.ru>
Date: Wed, 14 Aug 2024 20:21:07 +0300
Subject: [PATCH] [ derive ] Clean up repeating orders and log finally used
 ones

---
 src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
index b9fddff74..cbd40160a 100644
--- a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
+++ b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
@@ -195,6 +195,10 @@ namespace NonObligatoryExts
         pure $ leftmost ++ leftToRightArgs ++ rightmost
 
       let allOrders = if simplificationHack then take 1 allOrders else allOrders
+      let allOrders = List.nub $ nub <$> allOrders
+
+      for_ allOrders $ \order =>
+        logPoint {level=10} "least-effort.order" [sig, con] "- one of used final orders: \{show order}"
 
       --------------------------
       -- Producing the result --