safecopy 0.9.3.3 → 0.9.4
raw patch · 4 files changed
+17/−6 lines, 4 files
Files
- CHANGELOG.md +6/−0
- safecopy.cabal +2/−2
- src/Data/SafeCopy/Instances.hs +7/−2
- src/Data/SafeCopy/SafeCopy.hs +2/−2
CHANGELOG.md view
@@ -1,3 +1,9 @@+0.9.4+=====+ - Support ghc-8.4.1+ - Travis config for ghc-8.2.1+ - SafeCopy instance for Data.List.NonEmpty.NonEmpty+ 0.9.1 =====
safecopy.cabal view
@@ -3,7 +3,7 @@ -- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr. -- The name of the package. Name: safecopy-Version: 0.9.3.3+Version: 0.9.4 Synopsis: Binary serialization with version control. Description: An extension to Data.Serialize with built-in version control. Homepage: https://github.com/acid-state/safecopy@@ -15,7 +15,7 @@ Build-type: Simple Extra-source-files: CHANGELOG.md Cabal-version: >=1.8-tested-with: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2, GHC==8.0.2+tested-with: GHC == 7.8.4, GHC == 7.10.2, GHC==8.0.2, GHC==8.2.1 Source-repository head type: git
src/Data/SafeCopy/Instances.hs view
@@ -431,10 +431,15 @@ typeName :: Typeable a => Proxy a -> String typeName proxy = show (typeOf (undefined `asProxyType` proxy)) +#if MIN_VERSION_base(4,10,0)+typeName1 :: (Typeable c) => Proxy (c a) -> String+typeName2 :: (Typeable c) => Proxy (c a b) -> String+#else typeName1 :: (Typeable1 c) => Proxy (c a) -> String-typeName1 proxy = show (typeOf1 (undefined `asProxyType` proxy))- typeName2 :: (Typeable2 c) => Proxy (c a b) -> String+#endif++typeName1 proxy = show (typeOf1 (undefined `asProxyType` proxy)) typeName2 proxy = show (typeOf2 (undefined `asProxyType` proxy)) getGenericVector :: (SafeCopy a, VG.Vector v a) => Contained (Get (v a))
src/Data/SafeCopy/SafeCopy.hs view
@@ -212,8 +212,8 @@ return $ \a -> unsafeUnPack (putCopy $ asProxyType a proxy) where proxy = Proxy :: Proxy a --- | The extended_base kind lets the system know that there is--- at least one future version of this type.+-- | The extended_extension kind lets the system know that there is+-- at least one previous and one future version of this type. extended_extension :: (SafeCopy a, Migrate a, Migrate (Reverse a)) => Kind a extended_extension = Extended extension