Do not count warnings for considering exactprint fallback

Lennart Spitzner 2023-04-17 09:12:54 +00:00
parent 7d4d6e77f7
commit 9b5fb89c2b
1 changed files with 24 additions and 12 deletions

View File

@ -172,8 +172,7 @@ briDocMToPPM :: ToBriDocM a -> PPMLocal (a, Int)
briDocMToPPM m = do
readers <- MultiRWSS.mGetRawR
initCount <- MultiRWSS.mGet @CommentCounter
let
(((x, errs), debugs), commentCount) =
let (((x, errs), debugs), commentCount) =
runIdentity
$ MultiRWSS.runMultiRWSTNil
$ MultiRWSS.withMultiStateAS initCount
@ -185,7 +184,20 @@ briDocMToPPM m = do
mTell debugs
mTell errs
mSet commentCount
pure (x, length errs)
pure
( x
, sum
[ case e of
ErrorInput{} -> 1
ErrorUnusedComment{} -> 1
ErrorUnusedComments{} -> 1
ErrorMacroConfig{} -> 0
LayoutWarning{} -> 0
ErrorUnknownNode{} -> 1
ErrorOutputCheck{} -> 0
| e <- errs
]
)