Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package ghc-data-default for
openSUSE:Factory checked in at 2024-12-26 12:23:28
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-data-default (Old)
and /work/SRC/openSUSE:Factory/.ghc-data-default.new.1881 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-data-default"
Thu Dec 26 12:23:28 2024 rev:16 rq:1231435 version:0.8.0.0
Changes:
--------
--- /work/SRC/openSUSE:Factory/ghc-data-default/ghc-data-default.changes
2024-10-28 15:20:07.638968853 +0100
+++
/work/SRC/openSUSE:Factory/.ghc-data-default.new.1881/ghc-data-default.changes
2024-12-26 12:23:33.413687874 +0100
@@ -1,0 +2,6 @@
+Wed Oct 23 20:22:45 UTC 2024 - Peter Simons <[email protected]>
+
+- Update data-default to version 0.8.0.0.
+ Upstream does not provide a change log file.
+
+-------------------------------------------------------------------
Old:
----
data-default-0.7.1.3.tar.gz
New:
----
data-default-0.8.0.0.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ghc-data-default.spec ++++++
--- /var/tmp/diff_new_pack.zgryO4/_old 2024-12-26 12:23:34.817745402 +0100
+++ /var/tmp/diff_new_pack.zgryO4/_new 2024-12-26 12:23:34.825745730 +0100
@@ -20,7 +20,7 @@
%global pkgver %{pkg_name}-%{version}
%bcond_with tests
Name: ghc-%{pkg_name}
-Version: 0.7.1.3
+Version: 0.8.0.0
Release: 0
Summary: A class for types with a default value
License: BSD-3-Clause
@@ -29,23 +29,13 @@
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-base-devel
BuildRequires: ghc-base-prof
-BuildRequires: ghc-data-default-class-devel
-BuildRequires: ghc-data-default-class-prof
-BuildRequires: ghc-data-default-instances-containers-devel
-BuildRequires: ghc-data-default-instances-containers-prof
-BuildRequires: ghc-data-default-instances-dlist-devel
-BuildRequires: ghc-data-default-instances-dlist-prof
-BuildRequires: ghc-data-default-instances-old-locale-devel
-BuildRequires: ghc-data-default-instances-old-locale-prof
+BuildRequires: ghc-containers-devel
+BuildRequires: ghc-containers-prof
BuildRequires: ghc-rpm-macros
ExcludeArch: %{ix86}
%if %{with tests}
-BuildRequires: ghc-containers-devel
-BuildRequires: ghc-containers-prof
BuildRequires: ghc-mtl-devel
BuildRequires: ghc-mtl-prof
-BuildRequires: ghc-old-locale-devel
-BuildRequires: ghc-old-locale-prof
%endif
%description
++++++ data-default-0.7.1.3.tar.gz -> data-default-0.8.0.0.tar.gz ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/data-default-0.7.1.3/Data/Default/Internal.hs
new/data-default-0.8.0.0/Data/Default/Internal.hs
--- old/data-default-0.7.1.3/Data/Default/Internal.hs 1970-01-01
01:00:00.000000000 +0100
+++ new/data-default-0.8.0.0/Data/Default/Internal.hs 2001-09-09
03:46:40.000000000 +0200
@@ -0,0 +1,272 @@
+{-
+
+Copyright (c) 2013, Lukas Mai
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+ * Redistributions of source code must retain the above copyright
+ notice, this list of conditions and the following disclaimer.
+
+ * Redistributions in binary form must reproduce the above
+ copyright notice, this list of conditions and the following
+ disclaimer in the documentation and/or other materials provided
+ with the distribution.
+
+ * Neither the name of Lukas Mai nor the names of other
+ contributors may be used to endorse or promote products derived
+ from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+-}
+
+{-# LANGUAGE CPP #-}
+{-# LANGUAGE DefaultSignatures, TypeOperators, FlexibleContexts #-}
+
+{-|
+Module : Data.Default.Internal
+Description : Implementation details.
+
+Nothing to see here.
+-}
+module Data.Default.Internal (Default(..), GDefault(..)) where
+
+import Data.Int
+import Data.Word
+import Data.Monoid
+import Data.Ratio
+import Data.Complex
+import Data.Fixed
+import Foreign.C.Types
+#if MIN_VERSION_base(4, 18, 0)
+import Foreign.C.ConstPtr
+#endif
+import Foreign.Ptr
+import Data.Proxy
+import Data.Functor.Identity
+import Control.Applicative (Const(..))
+#if MIN_VERSION_base(4, 16, 0)
+import Data.Tuple
+#endif
+import qualified Data.Set as S
+import qualified Data.Map as M
+import Data.IntMap (IntMap)
+import Data.IntSet (IntSet)
+import Data.Sequence (Seq)
+import Data.Tree (Tree(..))
+
+import GHC.Generics
+
+-- | Defaults, generically.
+class GDefault f where
+ gdef :: f a
+
+-- | A nullary constructor is its own default.
+instance GDefault U1 where
+ gdef = U1
+
+-- | A unary constructor wraps the default value of the argument type.
+instance (Default a) => GDefault (K1 i a) where
+ gdef = K1 def
+
+-- | Default of products = product of defaults.
+instance (GDefault a, GDefault b) => GDefault (a :*: b) where
+ gdef = gdef :*: gdef
+
+-- | For sums, we arbitrarily choose the left side.
+instance (GDefault a) => GDefault (a :+: b) where
+ gdef = L1 gdef
+
+-- | Default of wrapper = wrapper of default.
+instance (GDefault a) => GDefault (M1 i c a) where
+ gdef = M1 gdef
+
+-- | A class for types with a default value.
+class Default a where
+ -- | The default value for this type.
+ def :: a
+
+ default def :: (Generic a, GDefault (Rep a)) => a
+ def = to gdef
+
+instance Default Bool where def = False
+instance Default Int where def = 0
+instance Default Int8 where def = 0
+instance Default Int16 where def = 0
+instance Default Int32 where def = 0
+instance Default Int64 where def = 0
+instance Default Word where def = 0
+instance Default Word8 where def = 0
+instance Default Word16 where def = 0
+instance Default Word32 where def = 0
+instance Default Word64 where def = 0
+instance Default Integer where def = 0
+instance Default Float where def = 0
+instance Default Double where def = 0
+instance (Integral a) => Default (Ratio a) where def = 0
+instance (Default a, RealFloat a) => Default (Complex a) where def = def :+ def
+instance (HasResolution a) => Default (Fixed a) where def = 0
+
+#if MIN_VERSION_base(4, 10, 0)
+instance Default CBool where def = 0
+#endif
+instance Default CShort where def = 0
+instance Default CUShort where def = 0
+instance Default CInt where def = 0
+instance Default CUInt where def = 0
+instance Default CLong where def = 0
+instance Default CULong where def = 0
+instance Default CLLong where def = 0
+instance Default CULLong where def = 0
+instance Default CPtrdiff where def = 0
+instance Default CSize where def = 0
+instance Default CSigAtomic where def = 0
+instance Default CIntPtr where def = 0
+instance Default CUIntPtr where def = 0
+instance Default CIntMax where def = 0
+instance Default CUIntMax where def = 0
+instance Default CClock where def = 0
+instance Default CTime where def = 0
+instance Default CUSeconds where def = 0
+instance Default CSUSeconds where def = 0
+instance Default CFloat where def = 0
+instance Default CDouble where def = 0
+
+instance Default (Ptr a) where def = nullPtr
+instance Default (FunPtr a) where def = nullFunPtr
+instance Default IntPtr where def = ptrToIntPtr def
+instance Default WordPtr where def = ptrToWordPtr def
+#if MIN_VERSION_base(4, 18, 0)
+instance Default (ConstPtr a) where def = ConstPtr def
+#endif
+
+instance Default (Maybe a) where def = Nothing
+instance (Default a) => Default (Identity a) where def = Identity def
+instance (Default a) => Default (Const a b) where def = Const def
+
+instance Default () where def = mempty
+instance Default [a] where def = mempty
+instance Default Ordering where def = mempty
+instance Default Any where def = mempty
+instance Default All where def = mempty
+instance Default (Last a) where def = mempty
+instance Default (First a) where def = mempty
+instance (Num a) => Default (Sum a) where def = mempty
+instance (Num a) => Default (Product a) where def = mempty
+instance Default (Endo a) where def = mempty
+instance Default (Proxy a) where def = mempty
+#if MIN_VERSION_base(4, 16, 0)
+instance (Default a) => Default (Solo a) where def = pure def
+#endif
+instance (Default a) => Default (Dual a) where def = Dual def
+
+instance Default (S.Set v) where def = S.empty
+instance Default (M.Map k v) where def = M.empty
+instance Default (IntMap v) where def = mempty
+instance Default IntSet where def = mempty
+instance Default (Seq a) where def = mempty
+instance (Default a) => Default (Tree a) where def = Node def []
+
+instance (Default a1, Default a2) => Default (a1, a2) where
+ def = (def, def)
+
+instance (Default a1, Default a2, Default a3) => Default (a1, a2, a3) where
+ def = (def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4) => Default (a1, a2,
a3, a4) where
+ def = (def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5) =>
Default (a1, a2, a3, a4, a5) where
+ def = (def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6) => Default (a1, a2, a3, a4, a5, a6) where
+ def = (def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7) => Default (a1, a2, a3, a4, a5, a6, a7) where
+ def = (def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8) => Default (a1, a2, a3, a4, a5, a6, a7, a8) where
+ def = (def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9) => Default (a1, a2, a3, a4, a5, a6, a7,
a8, a9) where
+ def = (def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10) => Default (a1, a2, a3,
a4, a5, a6, a7, a8, a9, a10) where
+ def = (def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11) => Default
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) where
+ def = (def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12)
=> Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12,
a13) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10,
a11, a12, a13, a14) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15) => Default (a1, a2, a3, a4, a5, a6, a7,
a8, a9, a10, a11, a12, a13, a14, a15) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16) => Default (a1, a2, a3, a4,
a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17) => Default
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)
where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18)
=> Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15,
a16, a17, a18) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12,
a13, a14, a15, a16, a17, a18, a19) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10,
a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21) => Default (a1, a2, a3, a4, a5, a6, a7,
a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22) => Default (a1, a2, a3, a4,
a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21,
a22) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23) => Default
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17,
a18, a19, a20, a21, a22, a23) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23, Default a24)
=> Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15,
a16, a17, a18, a19, a20, a21, a22, a23, a24) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23, Default a24,
Default a25) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12,
a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23, Default a24,
Default a25, Default a26) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10,
a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26)
where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23, Default a24,
Default a25, Default a26, Default a27) => Default (a1, a2, a3, a4, a5, a6, a7,
a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23,
a24, a25, a26, a27) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23, Default a24,
Default a25, Default a26, Default a27, Default a28) => Default (a1, a2, a3, a4,
a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21,
a22, a23, a24, a25, a26, a27, a28) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23, Default a24,
Default a25, Default a26, Default a27, Default a28, Default a29) => Default
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17,
a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def, def, def, def, def, def, def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23, Default a24,
Default a25, Default a26, Default a27, Default a28, Default a29, Default a30)
=> Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15,
a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def, def, def, def, def, def, def,
def)
+
+instance (Default a1, Default a2, Default a3, Default a4, Default a5, Default
a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12,
Default a13, Default a14, Default a15, Default a16, Default a17, Default a18,
Default a19, Default a20, Default a21, Default a22, Default a23, Default a24,
Default a25, Default a26, Default a27, Default a28, Default a29, Default a30,
Default a31) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12,
a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28,
a29, a30, a31) where
+ def = (def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def, def, def, def, def, def, def, def, def, def, def, def, def, def, def,
def, def)
+
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/data-default-0.7.1.3/Data/Default.hs
new/data-default-0.8.0.0/Data/Default.hs
--- old/data-default-0.7.1.3/Data/Default.hs 2001-09-09 03:46:40.000000000
+0200
+++ new/data-default-0.8.0.0/Data/Default.hs 2001-09-09 03:46:40.000000000
+0200
@@ -38,14 +38,11 @@
Description : A class for types with a default value.
This module defines a class for types with a default value. Instances are
-provided for '()', 'Data.Set.Set', 'Data.Map.Map', 'Int', 'Integer',
+provided for @()@, 'Data.Set.Set', 'Data.Map.Map', 'Int', 'Integer',
'Float', 'Double', and many others (see below).
-}
module Data.Default (
Default(..)
) where
-import Data.Default.Class
-import Data.Default.Instances.Containers ()
-import Data.Default.Instances.DList ()
-import Data.Default.Instances.OldLocale ()
+import Data.Default.Internal
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/data-default-0.7.1.3/data-default.cabal
new/data-default-0.8.0.0/data-default.cabal
--- old/data-default-0.7.1.3/data-default.cabal 2001-09-09 03:46:40.000000000
+0200
+++ new/data-default-0.8.0.0/data-default.cabal 2001-09-09 03:46:40.000000000
+0200
@@ -1,11 +1,11 @@
cabal-version: 3.0
name: data-default
-version: 0.7.1.3
+version: 0.8.0.0
category: Data
synopsis: A class for types with a default value
description:
This module defines a class for types with a default value. Instances are
- provided for '()', 'Data.Set.Set', 'Data.Map.Map', 'Int', 'Integer',
+ provided for @()@, 'Data.Set.Set', 'Data.Map.Map', 'Int', 'Integer',
'Float', 'Double', and many others.
build-type: Simple
license: BSD-3-Clause
@@ -19,16 +19,13 @@
location: https://github.com/mauke/data-default
library
- build-depends: base >=2 && <5, data-default-class ^>=0.1.2.1,
- data-default-instances-containers ^>=0.1.0.2,
- data-default-instances-dlist ^>=0.0.1.1,
- data-default-instances-old-locale ^>=0.0.1.1
- exposed-modules: Data.Default
+ build-depends: base >=4.8 && <5, containers >=0.1 && <0.8
+ exposed-modules: Data.Default, Data.Default.Internal
default-language: Haskell98
test-suite test
type: exitcode-stdio-1.0
main-is: basics.hs
- build-depends: base >=2 && <5, containers, data-default, mtl,
old-locale
+ build-depends: base, containers, data-default, mtl
hs-source-dirs: t
default-language: Haskell98
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/data-default-0.7.1.3/t/basics.hs
new/data-default-0.8.0.0/t/basics.hs
--- old/data-default-0.7.1.3/t/basics.hs 2001-09-09 03:46:40.000000000
+0200
+++ new/data-default-0.8.0.0/t/basics.hs 2001-09-09 03:46:40.000000000
+0200
@@ -1,51 +1,71 @@
+{-# LANGUAGE CPP #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE DeriveGeneric #-}
import Data.Default
import Data.Int
import Data.Word
import Data.Monoid
import Data.Complex
-import System.Locale
import qualified Data.Sequence as Seq
import qualified Data.Map as M
import qualified Data.Set as S
import qualified Data.IntMap as IM
import qualified Data.IntSet as IS
import Data.Tree (Tree(..))
+import Data.Functor.Identity
+import Control.Applicative
+import Data.Proxy
+#if MIN_VERSION_base(4, 16, 0)
+import Data.Tuple
+#endif
+import GHC.Generics
+import Foreign.C.Types
+import Foreign.Ptr
+#if MIN_VERSION_base(4, 18, 0)
+import Foreign.C.ConstPtr
+#endif
-import Control.Monad (when)
+import Control.Monad (when, join)
import Control.Monad.Reader
import Data.IORef
import System.Exit (exitFailure)
import System.IO
-newtype Test a = Test{ unTest :: ReaderT (IORef Int) IO a }
- deriving (Functor, Applicative, Monad, MonadIO, MonadReader (IORef Int))
+data TestState = TestState
+ { testState_count :: !(IORef Int)
+ , testState_ok :: !(IORef Bool)
+ }
+
+newtype Test a = Test{ unTest :: ReaderT TestState IO a }
+ deriving (Functor, Applicative, Monad, MonadIO, MonadReader TestState)
runTest :: (MonadIO m) => Test a -> m a
runTest t = liftIO $ do
hSetBuffering stdout LineBuffering
- r <- newIORef 1
- runReaderT (unTest t) r
+ rc <- newIORef 0
+ rk <- newIORef True
+ x <- runReaderT (unTest t) TestState{ testState_count = rc, testState_ok =
rk }
+ c <- readIORef rc
+ putStrLn $ "1.." ++ show c
+ k <- readIORef rk
+ when (not k) exitFailure
+ pure x
+
instance (Default a) => Default (Test a) where
def = return def
-withRef :: (IORef Int -> IO a) -> Test a
+withRef :: (IORef Int -> IO () -> IO a) -> Test a
withRef f = do
- r <- ask
- liftIO (f r)
-
-planTests :: Int -> Test ()
-planTests n = liftIO $ do
- putStrLn $ "1.." ++ show n
+ TestState rc rk <- ask
+ liftIO (f rc (atomicWriteIORef rk False))
ok :: Bool -> String -> Test ()
-ok b s = withRef $ \r -> do
- c <- atomicModifyIORef r ((,) =<< succ)
+ok b s = withRef $ \ref lose -> do
+ c <- atomicModifyIORef' ref (join (,) . succ)
putStrLn $ (if b then "" else "not ") ++ "ok " ++ show c ++ " - " ++ s
- when (not b)
- exitFailure
+ when (not b) lose
is {-, isNot-} :: (Show a, Eq a) => a -> a -> Test ()
is x y = ok (x == y) (show x ++ " == " ++ show y)
@@ -55,11 +75,16 @@
-- diag s = liftIO $ do
-- putStrLn $ "# " ++ s
+data T0 a b
+ = C0 a a
+ | C1
+ | C2 b
+ deriving (Eq, Show, Generic)
+
+instance (Default a) => Default (T0 a b)
+
main :: IO ()
main = runTest $ do
- planTests 37
- sequence_ [def, liftIO def, return ()]
- is (def (length :: [a] -> Int)) (0 :: Int)
is def ()
is def (Nothing :: Maybe (Int, Ordering, [Float]))
is def ""
@@ -76,6 +101,13 @@
is def (First Nothing :: First ())
is def (Sum (0 :: Integer))
is def (Product (1 :: Rational))
+ is def (Identity ())
+ is def (Const 0 :: Const Int Char)
+ is def (Proxy :: Proxy Char)
+#if MIN_VERSION_base(4, 16, 0)
+ is def (pure () :: Solo ())
+#endif
+ is def False
is def (0 :: Int)
is def (0 :: Integer)
is def (0 :: Float)
@@ -91,8 +123,39 @@
is def (0 :: Word16)
is def (0 :: Word32)
is def (0 :: Word64)
+ is def (0 :: CShort)
+ is def (0 :: CUShort)
+ is def (0 :: CInt)
+ is def (0 :: CUInt)
+ is def (0 :: CLong)
+ is def (0 :: CULong)
+ is def (0 :: CLLong)
+ is def (0 :: CULLong)
+ is def (0 :: CPtrdiff)
+ is def (0 :: CSize)
+ is def (0 :: CSigAtomic)
+ is def (0 :: CIntPtr)
+ is def (0 :: CUIntPtr)
+ is def (0 :: CIntMax)
+ is def (0 :: CUIntMax)
+ is def (0 :: CClock)
+ is def (0 :: CTime)
+ is def (0 :: CUSeconds)
+ is def (0 :: CSUSeconds)
+ is def (0 :: CFloat)
+ is def (0 :: CDouble)
+ is def (0 :: IntPtr)
+ is def (0 :: WordPtr)
+#if MIN_VERSION_base(4, 10, 0)
+ is def (0 :: CBool)
+#endif
+ is def nullPtr
+ is def nullFunPtr
+#if MIN_VERSION_base(4, 18, 0)
+ is def (ConstPtr nullPtr)
+#endif
is def ((def, def) :: ((), Maybe ((), ())))
is def ((def, def, def) :: ((), Maybe ((), ()), [Ordering]))
is def ((def, def, def, def) :: ((), Maybe ((), ()), [Ordering], Float))
is def ((def, def, def, def, def, def, def) :: ((), (), (), (), (), (),
()))
- is def defaultTimeLocale
+ is def (C0 0 0 :: T0 Int Char)
