2011-01-22 21:28:30 +01:00
|
|
|
module Tests.Writers.Native (tests) where
|
|
|
|
|
|
|
|
import Test.Framework
|
|
|
|
import Text.Pandoc.Builder
|
|
|
|
import Text.Pandoc
|
|
|
|
import Tests.Helpers
|
2016-10-14 14:45:36 +02:00
|
|
|
import Text.Pandoc.Arbitrary()
|
2011-01-22 21:28:30 +01:00
|
|
|
|
|
|
|
p_write_rt :: Pandoc -> Bool
|
|
|
|
p_write_rt d =
|
2012-07-27 07:59:56 +02:00
|
|
|
read (writeNative def{ writerStandalone = True } d) == d
|
2011-01-22 21:28:30 +01:00
|
|
|
|
|
|
|
p_write_blocks_rt :: [Block] -> Bool
|
2011-02-05 03:33:32 +01:00
|
|
|
p_write_blocks_rt bs = length bs > 20 ||
|
2013-05-11 07:53:35 +02:00
|
|
|
read (writeNative def (Pandoc nullMeta bs)) ==
|
2011-02-05 03:33:32 +01:00
|
|
|
bs
|
2011-01-22 21:28:30 +01:00
|
|
|
|
|
|
|
tests :: [Test]
|
|
|
|
tests = [ property "p_write_rt" p_write_rt
|
|
|
|
, property "p_write_blocks_rt" p_write_blocks_rt
|
|
|
|
]
|