Make a previously-failing test more easily debuggable
commitd5c10e693b303bf84e3d02ac0f409f207c260bf7
authorBryan O'Sullivan <bos@serpentine.com>
dateSat 20 May 2017, 21:46 (9 years ago)
parent640b26b
tests/Tests/Properties.hs+1−1
@@ -876,7 +876,7 @@ tl_write_read_line e m b t = write_read head TL.filter TL.hPutStrLn
876876
877877t_dropWord16 m t = dropWord16 m t `T.isSuffixOf` t
878878t_takeWord16 m t = takeWord16 m t `T.isPrefixOf` t
879−t_take_drop_16 m t = T.append (takeWord16 n t) (dropWord16 n t) == t
879+t_take_drop_16 m t = T.append (takeWord16 n t) (dropWord16 n t) === t
880880 where n = small m
881881t_use_from t = monadicIO $ assert . (==t) =<< run (useAsPtr t fromPtr)
882882