From f2ceb85a8d1d0af8fb928e9a8ce2c44f3b1e788f Mon Sep 17 00:00:00 2001 From: Denis Buzdalov Date: Wed, 20 Sep 2023 13:27:31 +0300 Subject: [PATCH] [ minor ] Sort model coverage output lexicographically --- src/Test/DepTyCheck/Gen/Coverage.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Test/DepTyCheck/Gen/Coverage.idr b/src/Test/DepTyCheck/Gen/Coverage.idr index 1f1a45be3..7f29ec5f8 100644 --- a/src/Test/DepTyCheck/Gen/Coverage.idr +++ b/src/Test/DepTyCheck/Gen/Coverage.idr @@ -146,7 +146,7 @@ showType False ti = show ti.name showType True ti = joinBy "." $ forget $ uncurry lappend $ map (singleton . show . bolden) $ unsnoc $ split (== '.') $ show ti.name toString : (colourful : Bool) -> CoverageGenInfo g -> String -toString col cgi = joinBy "\n\n" $ SortedMap.toList cgi.coverageInfo <&> \(ti, tyCov, cons) => do +toString col cgi = joinBy "\n\n" $ mapMaybe (\ti => lookup ti cgi.coverageInfo <&> (ti,)) (SortedMap.values cgi.types) <&> \(ti, tyCov, cons) => do let conCovs = values cons let anyCons = not $ null conCovs let allConsCovered = all (== True) conCovs