From 76459e697b97b9ef340060c0537c7f7bdc31908c Mon Sep 17 00:00:00 2001
From: Denis Buzdalov <public@buzden.ru>
Date: Tue, 12 Sep 2023 18:37:39 +0300
Subject: [PATCH] [ debug ] Log orders count

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

diff --git a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
index a1703d5a8..0e22727bc 100644
--- a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
+++ b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
@@ -191,6 +191,7 @@ namespace NonObligatoryExts
       -- Producing the result --
       --------------------------
 
+      logPoint "consOrders" [sig, con] "count of orders: \{show $ length allOrders}"
       callOneOf "\{logPosition con} (orders)" <$> traverse genForOrder allOrders
 
       where