Note a problem with coverage testing.

robrix · patrickt · robrix · commit 3106bd2dddbb · 2019-08-06T16:50:45.000-04:00
Co-Authored-By: Patrick Thomson &lt;patrickt@users.noreply.github.com&gt;
diff --git a/test/Data/Source/Spec.hs b/test/Data/Source/Spec.hs
@@ -71,6 +71,7 @@ testTree = Tasty.testGroup "Data.Source"
   ]
   where summarize src = do
           let lines = sourceLines src
+          -- FIXME: this should be using cover (reverted in 1b427b995), but that leads to flaky tests: hedgehog’s 'cover' implementation fails tests instead of warning, and currently has no equivalent to 'checkCoverage'.
           classify "empty"          $ nullSource src
           classify "single-line"    $ length lines == 1
           classify "multiple lines" $ length lines >  1

Original file line number	Diff line number	Diff line change
`@@ -71,6 +71,7 @@ testTree = Tasty.testGroup "Data.Source"`
`71`	`71`	`]`
`72`	`72`	`where summarize src = do`
`73`	`73`	`let lines = sourceLines src`
	`74`	`+ -- FIXME: this should be using cover (reverted in 1b427b995), but that leads to flaky tests: hedgehog’s 'cover' implementation fails tests instead of warning, and currently has no equivalent to 'checkCoverage'.`
`74`	`75`	`classify "empty" $ nullSource src`
`75`	`76`	`classify "single-line" $ length lines == 1`
`76`	`77`	`classify "multiple lines" $ length lines > 1`