diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2020-01-01 20:50:07 +0000 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-01-01 20:50:07 +0000 |
commit | 5a086f664e9efbb25acb0652dc0e10adede61c2e (patch) | |
tree | 405ba59aec2689cc0616a2afcc211e4aedf11c06 /debian/patches/patch-duplicate-arbitrary-instance-out-o.patch | |
parent | a332433aac213fdece32f9a9e5b5749853770abf (diff) | |
parent | a359c2841a68bb7fe6182fddc8e84abb7a463040 (diff) | |
download | git-repair-5a086f664e9efbb25acb0652dc0e10adede61c2e.tar.gz |
Merge remote-tracking branch 'dgit/dgit/sid'
Diffstat (limited to 'debian/patches/patch-duplicate-arbitrary-instance-out-o.patch')
-rw-r--r-- | debian/patches/patch-duplicate-arbitrary-instance-out-o.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debian/patches/patch-duplicate-arbitrary-instance-out-o.patch b/debian/patches/patch-duplicate-arbitrary-instance-out-o.patch new file mode 100644 index 0000000..1334809 --- /dev/null +++ b/debian/patches/patch-duplicate-arbitrary-instance-out-o.patch @@ -0,0 +1,20 @@ +From: Sean Whitton <spwhitton@spwhitton.name> +Date: Sun, 22 Jul 2018 14:30:36 +0800 +X-Dgit-Generated: 1.20151215-1.2 5e47ead106bebfd076d950934fbe11d9f1ef552c +Subject: patch duplicate Arbitrary instance out of Utility/QuickCheck.hs + + +--- + +--- git-repair-1.20151215.orig/Utility/QuickCheck.hs ++++ git-repair-1.20151215/Utility/QuickCheck.hs +@@ -33,9 +33,6 @@ instance (Arbitrary v, Eq v, Ord v) => A + instance Arbitrary POSIXTime where + arbitrary = fromInteger <$> nonNegative arbitrarySizedIntegral + +-instance Arbitrary EpochTime where +- arbitrary = fromInteger <$> nonNegative arbitrarySizedIntegral +- + {- Pids are never negative, or 0. -} + instance Arbitrary ProcessID where + arbitrary = arbitrarySizedBoundedIntegral `suchThat` (> 0) |