Hello community, here is the log from the commit of package ghc-void for openSUSE:Factory checked in at 2015-05-21 08:13:28 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-void (Old) and /work/SRC/openSUSE:Factory/.ghc-void.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-void" Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-void/ghc-void.changes 2014-04-02 17:19:16.000000000 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-void.new/ghc-void.changes 2015-05-21 08:13:29.000000000 +0200 @@ -1,0 +2,7 @@ +Wed Apr 22 07:00:41 UTC 2015 - [email protected] + +- update to 0.7 +* adapt to `Data.Void` being moved into `base-4.8` +* `vacuousM` removed + +------------------------------------------------------------------- Old: ---- _service void-0.6.1.tar.gz New: ---- void-0.7.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-void.spec ++++++ --- /var/tmp/diff_new_pack.NJdfB9/_old 2015-05-21 08:13:30.000000000 +0200 +++ /var/tmp/diff_new_pack.NJdfB9/_new 2015-05-21 08:13:30.000000000 +0200 @@ -1,7 +1,7 @@ # # spec file for package ghc-void # -# Copyright (c) 2013 SUSE LINUX Products GmbH, Nuernberg, Germany. +# Copyright (c) 2015 SUSE LINUX GmbH, Nuernberg, Germany. # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -19,7 +19,7 @@ %global pkg_name void Name: ghc-void -Version: 0.6.1 +Version: 0.7 Release: 0 Summary: A Haskell 98 logically uninhabited data type License: BSD-3-Clause ++++++ void-0.6.1.tar.gz -> void-0.7.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/void-0.6.1/CHANGELOG.markdown new/void-0.7/CHANGELOG.markdown --- old/void-0.6.1/CHANGELOG.markdown 2013-06-20 21:47:33.000000000 +0200 +++ new/void-0.7/CHANGELOG.markdown 2014-12-02 10:57:57.000000000 +0100 @@ -1,3 +1,8 @@ +0.7 +--- +* adapt to `Data.Void` being moved into `base-4.8` +* `vacuousM` removed + 0.6 --- * `instance Exception Void` diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/void-0.6.1/src/Data/Void.hs new/void-0.7/src/Data/Void.hs --- old/void-0.6.1/src/Data/Void.hs 2013-06-20 21:47:33.000000000 +0200 +++ new/void-0.7/src/Data/Void.hs 1970-01-01 01:00:00.000000000 +0100 @@ -1,111 +0,0 @@ -{-# LANGUAGE CPP #-} -#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702 -{-# LANGUAGE Trustworthy #-} -#endif - -#ifdef LANGUAGE_DeriveDataTypeable -{-# LANGUAGE DeriveDataTypeable #-} -#endif - -#ifdef LANGUAGE_DeriveGeneric -{-# LANGUAGE DeriveGeneric #-} -{-# LANGUAGE StandaloneDeriving #-} -#endif - -#ifndef MIN_VERSION_base -#define MIN_VERSION_base(x,y,z) 1 -#endif ------------------------------------------------------------------------------ --- | --- Copyright : (C) 2008-2013 Edward Kmett --- License : BSD-style (see the file LICENSE) --- --- Maintainer : Edward Kmett <[email protected]> --- Stability : provisional --- Portability : portable --- ----------------------------------------------------------------------------- -module Data.Void - ( Void - , absurd - , vacuous - , vacuousM - ) where - -import Control.Monad (liftM) -import Data.Ix -import Data.Hashable -import Data.Semigroup (Semigroup(..)) - -#ifdef LANGUAGE_DeriveDataTypeable -import Data.Data -#endif - -#ifdef LANGUAGE_DeriveGeneric -import GHC.Generics -#endif - -#if MIN_VERSION_base(4,0,0) -import Control.Exception -#endif - --- | A logically uninhabited data type. -#if __GLASGOW_HASKELL__ < 700 -data Void = Void !Void -#else -newtype Void = Void Void -#endif -#ifdef LANGUAGE_DeriveDataTypeable - deriving (Data, Typeable) -#endif - -#ifdef LANGUAGE_DeriveGeneric -deriving instance Generic Void -#endif - -instance Eq Void where - _ == _ = True - -instance Hashable Void where - hashWithSalt _ = absurd - -instance Ord Void where - compare _ _ = EQ - -instance Show Void where - showsPrec _ = absurd - --- | Reading a 'Void' value is always a parse error, considering 'Void' as --- a data type with no constructors. -instance Read Void where - readsPrec _ _ = [] - --- | Since 'Void' values logically don't exist, this witnesses the logical --- reasoning tool of \"ex falso quodlibet\". -absurd :: Void -> a -absurd a = a `seq` spin a where - spin (Void b) = spin b - --- | If 'Void' is uninhabited then any 'Functor' that holds only values of type 'Void' --- is holding no values. -vacuous :: Functor f => f Void -> f a -vacuous = fmap absurd - --- | If 'Void' is uninhabited then any 'Monad' that holds values of type 'Void' --- is holding no values. -vacuousM :: Monad m => m Void -> m a -vacuousM = liftM absurd - -instance Semigroup Void where - a <> _ = a - times1p _ a = a - -instance Ix Void where - range _ = [] - index _ = absurd - inRange _ = absurd - rangeSize _ = 0 - -#if MIN_VERSION_base(4,0,0) -instance Exception Void -#endif diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/void-0.6.1/src-old/Data/Void.hs new/void-0.7/src-old/Data/Void.hs --- old/void-0.6.1/src-old/Data/Void.hs 1970-01-01 01:00:00.000000000 +0100 +++ new/void-0.7/src-old/Data/Void.hs 2014-12-02 10:57:57.000000000 +0100 @@ -0,0 +1,111 @@ +{-# LANGUAGE CPP #-} +#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702 +{-# LANGUAGE Trustworthy #-} +#endif + +#ifdef LANGUAGE_DeriveDataTypeable +{-# LANGUAGE DeriveDataTypeable #-} +#endif + +#ifdef LANGUAGE_DeriveGeneric +{-# LANGUAGE DeriveGeneric #-} +{-# LANGUAGE StandaloneDeriving #-} +#endif + +#ifndef MIN_VERSION_base +#define MIN_VERSION_base(x,y,z) 1 +#endif +----------------------------------------------------------------------------- +-- | +-- Copyright : (C) 2008-2013 Edward Kmett +-- License : BSD-style (see the file LICENSE) +-- +-- Maintainer : Edward Kmett <[email protected]> +-- Stability : provisional +-- Portability : portable +-- +---------------------------------------------------------------------------- +module Data.Void + ( Void + , absurd + , vacuous + , vacuousM + ) where + +import Control.Monad (liftM) +import Data.Ix +import Data.Hashable +import Data.Semigroup (Semigroup(..)) + +#ifdef LANGUAGE_DeriveDataTypeable +import Data.Data +#endif + +#ifdef LANGUAGE_DeriveGeneric +import GHC.Generics +#endif + +#if MIN_VERSION_base(4,0,0) +import Control.Exception +#endif + +-- | A logically uninhabited data type. +#if __GLASGOW_HASKELL__ < 700 +data Void = Void !Void +#else +newtype Void = Void Void +#endif +#ifdef LANGUAGE_DeriveDataTypeable + deriving (Data, Typeable) +#endif + +#ifdef LANGUAGE_DeriveGeneric +deriving instance Generic Void +#endif + +instance Eq Void where + _ == _ = True + +instance Hashable Void where + hashWithSalt _ = absurd + +instance Ord Void where + compare _ _ = EQ + +instance Show Void where + showsPrec _ = absurd + +-- | Reading a 'Void' value is always a parse error, considering 'Void' as +-- a data type with no constructors. +instance Read Void where + readsPrec _ _ = [] + +-- | Since 'Void' values logically don't exist, this witnesses the logical +-- reasoning tool of \"ex falso quodlibet\". +absurd :: Void -> a +absurd a = a `seq` spin a where + spin (Void b) = spin b + +-- | If 'Void' is uninhabited then any 'Functor' that holds only values of type 'Void' +-- is holding no values. +vacuous :: Functor f => f Void -> f a +vacuous = fmap absurd + +-- | If 'Void' is uninhabited then any 'Monad' that holds values of type 'Void' +-- is holding no values. +vacuousM :: Monad m => m Void -> m a +vacuousM = liftM absurd + +instance Semigroup Void where + a <> _ = a + times1p _ a = a + +instance Ix Void where + range _ = [] + index _ = absurd + inRange _ = absurd + rangeSize _ = 0 + +#if MIN_VERSION_base(4,0,0) +instance Exception Void +#endif diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/void-0.6.1/void.cabal new/void-0.7/void.cabal --- old/void-0.6.1/void.cabal 2013-06-20 21:47:33.000000000 +0200 +++ new/void-0.7/void.cabal 2014-12-02 10:57:57.000000000 +0100 @@ -1,8 +1,8 @@ name: void category: Data Structures -version: 0.6.1 +version: 0.7 license: BSD3 -cabal-version: >= 1.6 +cabal-version: >= 1.10 license-file: LICENSE author: Edward A. Kmett maintainer: Edward A. Kmett <[email protected]> @@ -31,11 +31,15 @@ default: False library + default-language: Haskell98 hs-source-dirs: src exposed-modules: - Data.Void Data.Void.Unsafe + if !impl(ghc>=7.9) + hs-source-dirs: src-old + exposed-modules: Data.Void + build-depends: base >= 3 && < 10, hashable >= 1.1,
