From a88b09602703b090efda3a9b0b91abd1445cafc8 Mon Sep 17 00:00:00 2001 From: Denis Buzdalov Date: Tue, 12 Sep 2023 18:15:44 +0300 Subject: [PATCH] [ wip ] Use shorter printing for constructors --- src/Test/DepTyCheck/Gen/Coverage.idr | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Test/DepTyCheck/Gen/Coverage.idr b/src/Test/DepTyCheck/Gen/Coverage.idr index 99c800cb2..77584aec6 100644 --- a/src/Test/DepTyCheck/Gen/Coverage.idr +++ b/src/Test/DepTyCheck/Gen/Coverage.idr @@ -12,6 +12,7 @@ import Data.List import Data.Singleton import Data.SortedMap +import public Deriving.DepTyCheck.Util.Logging import public Deriving.DepTyCheck.Util.Reflection import public Language.Reflection @@ -121,7 +122,7 @@ Show (CoverageGenInfo g) where else ["covered partially"] ) joinBy "\n" $ (::) "\{show ti.name} \{tyCovStr}" $ whenTs anyCons $ map (" - " ++) $ - SortedMap.toList cons <&> \(co, coCov) => "\{show co.name}: \{the String $ if coCov then "" else "not "}covered" + SortedMap.toList cons <&> \(co, coCov) => "\{logPosition co}: \{the String $ if coCov then "" else "not "}covered" infixOf : Eq a => List a -> List a -> Maybe (List a, List a) infixOf = map (map snd) .: infixOfBy (\x, y => if x == y then Just () else Nothing)