git.iko.soy/streamly
on master help sign in
Add tests for the constructorTagAsString option in Serialize.TH
21fd670Adithya Kumar
test/Streamly/Test/Data/Serialize.hs+38−8
compare with master
unifiedsplit
@@ -1,3 +1,4 @@
1+{-# LANGUAGE CPP #-}
1{-# LANGUAGE TemplateHaskell #-}
2{-# LANGUAGE TemplateHaskell #-}
2
3
3-- Required for Eq instance declaration of HigherOrderType
4-- Required for Eq instance declaration of HigherOrderType
@@ -24,10 +25,9 @@ import Streamly.Internal.Data.Unbox (newBytes)
24import GHC.Generics (Generic)
25import GHC.Generics (Generic)
25import Streamly.Test.Data.Serialize.TH (genDatatype)
26import Streamly.Test.Data.Serialize.TH (genDatatype)
26import qualified Streamly.Internal.Data.Serialize.TH as Serialize
27import qualified Streamly.Internal.Data.Serialize.TH as Serialize
27− ( deriveSerialize
28+ ( Config(..)
28− , deriveSerializeWith
29 , defaultConfig
29 , defaultConfig
30− , Config(..)
30+ , deriveSerializeWith
31 )
31 )
32import Data.Functor.Identity (Identity (..))
32import Data.Functor.Identity (Identity (..))
33
33
@@ -38,12 +38,38 @@ import Test.Hspec.QuickCheck
38import Test.QuickCheck
38import Test.QuickCheck
39import Test.Hspec as H
39import Test.Hspec as H
40
40
41+--------------------------------------------------------------------------------
42+-- Serialize configuration
43+--------------------------------------------------------------------------------
44+
45+#ifdef ENABLE_constructorTagAsString
46+#define CONF_NAME "ENABLE_constructorTagAsString"
47+#define CONF (Serialize.defaultConfig {Serialize.constructorTagAsString = True})
48+#else
49+#define CONF_NAME "DEFAULT"
50+#define CONF Serialize.defaultConfig
51+#endif
52+
53+--------------------------------------------------------------------------------
54+-- Edge case types
55+--------------------------------------------------------------------------------
56+
57+data Unit =
58+ Unit
59+ deriving (Eq, Show)
60+$(Serialize.deriveSerializeWith CONF ''Unit)
61+
62+data The =
63+ The Unit Int Char
64+ deriving (Eq, Show)
65+$(Serialize.deriveSerializeWith CONF ''The)
66+
41--------------------------------------------------------------------------------
67--------------------------------------------------------------------------------
42-- Generated types
68-- Generated types
43--------------------------------------------------------------------------------
69--------------------------------------------------------------------------------
44
70
45$(genDatatype "CustomDatatype" 15)
71$(genDatatype "CustomDatatype" 15)
46−$(Serialize.deriveSerialize ''CustomDatatype)
72+$(Serialize.deriveSerializeWith CONF ''CustomDatatype)
47
73
48--------------------------------------------------------------------------------
74--------------------------------------------------------------------------------
49-- Types with functional parameters
75-- Types with functional parameters
@@ -61,9 +87,9 @@ instance (Eq (f Int), Eq (f Char)) => Eq (HigherOrderType f) where
61instance (Show (f Int), Show (f Char)) => Show (HigherOrderType f) where
87instance (Show (f Int), Show (f Char)) => Show (HigherOrderType f) where
62 show a = "HigherOrderType " ++ show (field0 a) ++ " " ++ show (field1 a)
88 show a = "HigherOrderType " ++ show (field0 a) ++ " " ++ show (field1 a)
63
89
64−$(Serialize.deriveSerialize ''Identity)
90+$(Serialize.deriveSerializeWith CONF ''Identity)
65$(Serialize.deriveSerializeWith
91$(Serialize.deriveSerializeWith
66− (Serialize.defaultConfig
92+ (CONF
67 {Serialize.specializations = [("f", ConT ''Identity)]})
93 {Serialize.specializations = [("f", ConT ''Identity)]})
68 ''HigherOrderType)
94 ''HigherOrderType)
69
95
@@ -77,7 +103,7 @@ data BinTree a
77 | Leaf a
103 | Leaf a
78 deriving (Show, Read, Eq, Generic)
104 deriving (Show, Read, Eq, Generic)
79
105
80−$(Serialize.deriveSerialize ''BinTree)
106+$(Serialize.deriveSerializeWith CONF ''BinTree)
81
107
82instance Arbitrary a => Arbitrary (BinTree a) where
108instance Arbitrary a => Arbitrary (BinTree a) where
83 arbitrary = oneof [Leaf <$> arbitrary, Tree <$> arbitrary <*> arbitrary]
109 arbitrary = oneof [Leaf <$> arbitrary, Tree <$> arbitrary <*> arbitrary]
@@ -133,6 +159,10 @@ testCases = do
133 (8 + 3 * 8 + 6 * 8)
159 (8 + 3 * 8 + 6 * 8)
134 ([[1], [1, 2], [1, 2, 3]] :: [[Int]])
160 ([[1], [1, 2], [1, 2, 3]] :: [[Int]])
135
161
162+ describe "Edge Cases" $ do
163+ it "Unit" $ roundtrip Unit
164+ it "The" $ roundtrip $ The Unit 1 'a'
165+
136 it "HigherOrderType"
166 it "HigherOrderType"
137 $ roundtrip $ HigherOrderType (Identity 5) (Identity 'e')
167 $ roundtrip $ HigherOrderType (Identity 5) (Identity 'e')
138
168
@@ -156,7 +186,7 @@ testCases = do
156--------------------------------------------------------------------------------
186--------------------------------------------------------------------------------
157
187
158moduleName :: String
188moduleName :: String
159−moduleName = "Data.Serialize"
189+moduleName = "Data.Serialize." ++ CONF_NAME
160
190
161main :: IO ()
191main :: IO ()
162main = hspec $ H.parallel $ describe moduleName testCases
192main = hspec $ H.parallel $ describe moduleName testCases
test/streamly-tests.cabal+10
@@ -298,6 +298,16 @@ test-suite Data.Serialize
298 if flag(limit-build-mem)
298 if flag(limit-build-mem)
299 ghc-options: +RTS -M1500M -RTS
299 ghc-options: +RTS -M1500M -RTS
300
300
301+test-suite Data.Serialize.ENABLE_constructorTagAsString
302+ import: test-options
303+ type: exitcode-stdio-1.0
304+ main-is: Streamly/Test/Data/Serialize.hs
305+ other-modules: Streamly.Test.Data.Serialize.TH
306+ cpp-options: -DENABLE_constructorTagAsString
307+ ghc-options: -main-is Streamly.Test.Data.Serialize.main
308+ if flag(limit-build-mem)
309+ ghc-options: +RTS -M1500M -RTS
310+
301test-suite Data.Array.Stream
311test-suite Data.Array.Stream
302 import: test-options
312 import: test-options
303 type: exitcode-stdio-1.0
313 type: exitcode-stdio-1.0