twin/xmonad-contrib
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad-contrib.git synced 2025-05-19 03:20:21 -07:00
Code Issues Packages Projects Releases Wiki Activity

tests: Show counterexamples for test failures in OrgMode

Browse Source
This commit is contained in:
Tomas Janousek 2021-08-07 15:25:35 +01:00
parent 97508ac109
commit c5654c47ba
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/OrgMode.hs
View File

@ -23,12 +23,12 @@ spec = do
prop "prop_decodeLinearity" prop_decodeLinearity prop "prop_decodeLinearity" prop_decodeLinearity
-- | Printing omits no information from output. -- | Printing omits no information from output.
prop_encodeLinearity :: OrgMsg -> Bool prop_encodeLinearity :: OrgMsg -> Property
prop_encodeLinearity (OrgMsg s) = Just s == (ppNote <$> pInput s) prop_encodeLinearity (OrgMsg s) = Just s === (ppNote <$> pInput s)
-- | Parsing discards no information from input. -- | Parsing discards no information from input.
prop_decodeLinearity :: Note -> Bool prop_decodeLinearity :: Note -> Property
prop_decodeLinearity n = Just n == pInput (ppNote n) prop_decodeLinearity n = Just n === pInput (ppNote n)
------------------------------------------------------------------------ ------------------------------------------------------------------------
-- Pretty Printing -- Pretty Printing