Skip to content
This repository
  • 2 commits
  • 3 files changed
  • 0 comments
  • 1 contributor
5 CHANGES.md
Source Rendered
... ... @@ -1,6 +1,11 @@
1 1 Changes
2 2 =======
3 3
  4 +Version 1.0.2
  5 +-------------
  6 +
  7 +Fix a bug in the generic instance
  8 +
4 9 Version 1.0.1
5 10 -------------
6 11
7 Test/SmallCheck/Series.hs
@@ -27,7 +27,7 @@
27 27 GeneralizedNewtypeDeriving, FlexibleContexts #-}
28 28 -- The following is needed for generic instances
29 29 {-# LANGUAGE DefaultSignatures, FlexibleContexts, TypeOperators,
30   - TypeSynonymInstances, FlexibleInstances #-}
  30 + TypeSynonymInstances, FlexibleInstances, OverlappingInstances #-}
31 31
32 32 module Test.SmallCheck.Series (
33 33 -- {{{
@@ -363,7 +363,7 @@ instance CoSerial m c => GCoSerial m (K1 i c) where
363 363 {-# INLINE gCoseries #-}
364 364
365 365 instance GSerial m U1 where
366   - gSeries = cons0 U1
  366 + gSeries = pure U1
367 367 {-# INLINE gSeries #-}
368 368 instance GCoSerial m U1 where
369 369 gCoseries rs = constM rs
@@ -391,6 +391,9 @@ instance (Monad m, GCoSerial m a, GCoSerial m b) => GCoSerial m (a :+: b) where
391 391 R1 y -> g y
392 392 {-# INLINE gCoseries #-}
393 393
  394 +instance GSerial m f => GSerial m (C1 c f) where
  395 + gSeries = M1 <$> decDepth gSeries
  396 + {-# INLINE gSeries #-}
394 397 -- }}}
395 398
396 399 ------------------------------
4 smallcheck.cabal
... ... @@ -1,5 +1,5 @@
1 1 Name: smallcheck
2   -Version: 1.0.1
  2 +Version: 1.0.2
3 3 Cabal-Version: >= 1.6
4 4 License: BSD3
5 5 License-File: LICENSE
@@ -27,7 +27,7 @@ Source-repository head
27 27 Source-repository this
28 28 type: git
29 29 location: git://github.com/feuerbach/smallcheck.git
30   - tag: v1.0.1
  30 + tag: v1.0.2
31 31
32 32 Library
33 33

No commit comments for this range

Something went wrong with that request. Please try again.