[ debug ] Log orders count

buzden · Sep 12, 2023 · 76459e6 · 76459e6
1 parent a88b096
commit 76459e6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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