safecopy

safecopy copied to clipboard

Allow latest template-haskell and time, bump CI to GHC 9.10

1

Blocked on - [x] https://gitlab.haskell.org/ghc/head.hackage/-/issues/100 - [x] https://github.com/ekmett/reflection/issues/56 - [ ] https://github.com/haskell-hvr/text-short/issues/45

andreasabel

These are safecopy equivalents of functions from Data.Serialize. Useful for eliminating remaining uses of the Serialize constraint.

ddssff

deriveSafeCopy not working for mutual recursive data-types in GHC 9.2.4

3

Hi folks, I've just installed GHC 9.2.4 (now that is the recommended versio) and tried to compile one of my projects that _is working fine_ in GHC 8.10.7. To rule...

marco-comini

PolyKinds breaks phantom newtype deriving with non obvious error message

2

Hi, I am upgrading SafeCopy to version 0.10.4.1 and discovered following unpleased behavior. Mostly I concerned with stumbling error message. ``` {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DeriveGeneric #-} {-#...

yaitskov

Need GGetCopy and GPutCopy instances for V1

1

Without these you can't derive SafeCopy for types with no constructor, e.g. Data.Void.Void.

ddssff

safecopy added dependency on generic-data which is only GHC >= 8.0

6

See https://matrix.hackage.haskell.org/#/package/generic-data safecopy however says ``` base >=4.5 && =4.9` Also there are conditionals like ``` if !impl(ghc > 8.0) Build-Depends: semigroups >= 0.18 && < 0.19 if(impl(ghc >= 7.2.1))...

phadej

Support deriving SafeCopy using Generic

4

I tried this myself a while ago: http://hub.darcs.net/dag/safecopy/patch/20121018075208-6eb02 It worked but didn't generate very efficient instances, and certainly not the same instances as `deriveSafeCopy`. The problem was with my code...

dag

Interchangable Backends

5

It would be very nice if safecopy supported interchangable backends - I'd like to use safecopy and it's versioning, but actually store the data in a human-readable format like json,...

agrafix

Can't migrate when you have 2 consecutive fields of the same type and then one of them changes type

2

Take the following program: ``` haskell {-# LANGUAGE TemplateHaskell, TypeFamilies, OverloadedStrings, ScopedTypeVariables #-} import Data.SafeCopy import Data.Acid newtype X = X String data Foo = Foo X X deriveSafeCopy 0...

neongreen

errorTypeName method has sensible default implementation

1

Using `DefaultSignatures`, the `errorTypeName` method could easily be given the implementation: ```haskell default errorTypeName :: (Typeable a) => Proxy a -> String errorTypeName prxy = show (typeRep prxy) ``` Since...

parsonsmatt