git.iko.soy/typeable/bloodhound
on master help sign in
Switch derive to generics-sop
3534c68Oleg Grenrus
bloodhound.cabal+1−1
@@ -72,7 +72,7 @@ test-suite tests
72 unordered-containers >= 0.2.5.0 && <0.3,
72 unordered-containers >= 0.2.5.0 && <0.3,
73 mtl,
73 mtl,
74 quickcheck-properties,
74 quickcheck-properties,
75− generics-sop,
75+ generics-sop >=0.2 && <0.3,
76 errors,
76 errors,
77 exceptions,
77 exceptions,
78 temporary,
78 temporary,
stack-7.8.yaml+1
@@ -15,4 +15,5 @@ extra-deps:
15- tagged-0.8.3
15- tagged-0.8.3
16- uri-bytestring-0.1.9
16- uri-bytestring-0.1.9
17- void-0.7.1
17- void-0.7.1
18+- generics-sop-0.2.2.0
18resolver: lts-2.18
19resolver: lts-2.18
tests/tests.hs+4−2
@@ -7,9 +7,11 @@
7{-# LANGUAGE OverloadedStrings #-}
7{-# LANGUAGE OverloadedStrings #-}
8{-# LANGUAGE RecordWildCards #-}
8{-# LANGUAGE RecordWildCards #-}
9{-# LANGUAGE ScopedTypeVariables #-}
9{-# LANGUAGE ScopedTypeVariables #-}
10−{-# LANGUAGE TemplateHaskell #-}
11{-# LANGUAGE TypeOperators #-}
10{-# LANGUAGE TypeOperators #-}
12{-# OPTIONS_GHC -fno-warn-orphans #-}
11{-# OPTIONS_GHC -fno-warn-orphans #-}
12+#if __GLASGOW_HASKELL__ < 800
13+{-# OPTIONS_GHC -fcontext-stack=100 #-}
14+#endif
13module Main where
15module Main where
14
16
15import Control.Applicative
17import Control.Applicative
@@ -1853,7 +1855,7 @@ sopArbitrary :: forall a. (Generic a, SOP.GTo a, SOP.All SOP.SListI (SOP.GCode a
1853sopArbitrary = fmap SOP.gto sopArbitrary'
1855sopArbitrary = fmap SOP.gto sopArbitrary'
1854
1856
1855sopArbitrary' :: forall xss. (SOP.All SOP.SListI xss, SOP.All2 Arbitrary xss) => Gen (SOP.SOP SOP.I xss)
1857sopArbitrary' :: forall xss. (SOP.All SOP.SListI xss, SOP.All2 Arbitrary xss) => Gen (SOP.SOP SOP.I xss)
1856−sopArbitrary' = oneof (map SOP.hsequence $ SOP.apInjs_POP $ SOP.hcpure p arbitrary)
1858+sopArbitrary' = SOP.hsequence =<< elements (SOP.apInjs_POP $ SOP.hcpure p arbitrary)
1857 where
1859 where
1858 p :: Proxy Arbitrary
1860 p :: Proxy Arbitrary
1859 p = Proxy
1861 p = Proxy