Skip to content

Commit

Permalink
Hedgehog.Internal.Report: Allow to omit source location
Browse files Browse the repository at this point in the history
  • Loading branch information
sol committed May 4, 2024
1 parent b2f6c95 commit 11cf0b9
Showing 1 changed file with 17 additions and 6 deletions.
23 changes: 17 additions & 6 deletions hedgehog/src/Hedgehog/Internal/Report.hs
Original file line number Diff line number Diff line change
Expand Up @@ -820,13 +820,23 @@ ppResultWith config name (Report tests discards coverage seed result) = do
pure . WL.vsep $ [
icon FailedIcon '' . WL.align . WL.annotate FailedText $
ppName name <>
"failed" <+> ppFailedAtLocation (failureLocation failure) <#>
"after" <+>
(
if configPrintFailedAtLocation config then
"failed" <+> ppFailedAtLocation (failureLocation failure) <#> "after"
else
"failed after"
) <+>
ppTestCount tests <>
ppShrinkDiscard (failureShrinks failure) discards <>
"." <#>
"shrink path:" <+>
ppSkip (SkipToShrink tests discards $ failureShrinkPath failure)
"." <>
(
if configPrintFailedAtLocation config then
WL.line <>
"shrink path:" <+>
ppSkip (SkipToShrink tests discards $ failureShrinkPath failure)
else
mempty
)
] ++
ppCoverage tests coverage ++
pfailure
Expand Down Expand Up @@ -1293,11 +1303,12 @@ renderResult = renderResultWith defaultConfig
data Config =
Config {
configContext :: Context
, configPrintFailedAtLocation :: Bool
, configPrintReproduceMessage :: Bool
}

defaultConfig :: Config
defaultConfig = Config FullContext True
defaultConfig = Config FullContext True True

renderResultWith :: MonadIO m => Config -> UseColor -> Maybe PropertyName -> Report Result -> m String
renderResultWith config color name x =
Expand Down

0 comments on commit 11cf0b9

Please sign in to comment.