Ticket #3973: typeable_and_eq_instances_for_stm.dpatch

4 patches for repository http://darcs.haskell.org/libraries/stm:

Sat Apr 10 15:34:56 CEST 2010  Bas van Dijk <v.dijk.bas@gmail.com>
  * Derived Eq and Typeable instances for TMVar

Sat Apr 10 15:35:23 CEST 2010  Bas van Dijk <v.dijk.bas@gmail.com>
  * Derived Typeable instance for TChan

Sat Apr 10 15:36:30 CEST 2010  Bas van Dijk <v.dijk.bas@gmail.com>
  * Derived Typeable instance for TArray

Sat Apr 10 15:37:07 CEST 2010  Bas van Dijk <v.dijk.bas@gmail.com>
  * Derived Eq instance for TArray

New patches:

[Derived Eq and Typeable instances for TMVar
Bas van Dijk <v.dijk.bas@gmail.com>**20100410133456
 Ignore-this: 87f0ed41668e96d523bfd6745d7ff406
] {
hunk ./Control/Concurrent/STM/TMVar.hs 1
+{-# LANGUAGE DeriveDataTypeable #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Concurrent.STM.TMVar
hunk ./Control/Concurrent/STM/TMVar.hs 39
 #ifdef __GLASGOW_HASKELL__
 import GHC.Conc
 
-newtype TMVar a = TMVar (TVar (Maybe a))
+import Data.Typeable (Typeable)
+
+newtype TMVar a = TMVar (TVar (Maybe a)) deriving (Eq, Typeable)
 {- ^
 A 'TMVar' is a synchronising variable, used
 for communication between concurrent threads.  It can be thought of
}
[Derived Typeable instance for TChan
Bas van Dijk <v.dijk.bas@gmail.com>**20100410133523
 Ignore-this: dc086ea4fc3afdc1c4d1d6c213628355
] {
hunk ./Control/Concurrent/STM/TChan.hs 2
 {-# OPTIONS_GHC -fno-warn-name-shadowing #-}
+{-# LANGUAGE DeriveDataTypeable #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Concurrent.STM.TChan
hunk ./Control/Concurrent/STM/TChan.hs 36
 #ifdef __GLASGOW_HASKELL__
 import GHC.Conc
 
+import Data.Typeable (Typeable)
+
 -- | 'TChan' is an abstract type representing an unbounded FIFO channel.
hunk ./Control/Concurrent/STM/TChan.hs 39
-data TChan a = TChan (TVar (TVarList a)) (TVar (TVarList a))
+data TChan a = TChan (TVar (TVarList a)) (TVar (TVarList a)) deriving Typeable
 
 type TVarList a = TVar (TList a)
 data TList a = TNil | TCons a (TVarList a)
}
[Derived Typeable instance for TArray
Bas van Dijk <v.dijk.bas@gmail.com>**20100410133630
 Ignore-this: a2b39aaec2c9f96150e7214f60574427
] {
hunk ./Control/Concurrent/STM/TArray.hs 2
 {-# OPTIONS -fglasgow-exts #-}
+{-# LANGUAGE DeriveDataTypeable #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Concurrent.STM.TArray
hunk ./Control/Concurrent/STM/TArray.hs 27
 import Data.Array.Base (listArray, arrEleBottom, unsafeAt, MArray(..),
                         IArray(numElements))
 import Data.Ix (rangeSize)
+import Data.Typeable (Typeable)
 import Control.Concurrent.STM.TVar (TVar, newTVar, readTVar, writeTVar)
 #ifdef __GLASGOW_HASKELL__
 import GHC.Conc (STM)
hunk ./Control/Concurrent/STM/TArray.hs 42
 -- but it may be replaced by a more efficient implementation in the future
 -- (the interface will remain the same, however).
 --
-newtype TArray i e = TArray (Array i (TVar e))
+newtype TArray i e = TArray (Array i (TVar e)) deriving (Typeable)
 
 instance MArray TArray e STM where
     getBounds (TArray a) = return (bounds a)
}
[Derived Eq instance for TArray
Bas van Dijk <v.dijk.bas@gmail.com>**20100410133707
 Ignore-this: a8c56552a7bce81bb65cc154fffdf12c
] hunk ./Control/Concurrent/STM/TArray.hs 42
 -- but it may be replaced by a more efficient implementation in the future
 -- (the interface will remain the same, however).
 --
-newtype TArray i e = TArray (Array i (TVar e)) deriving (Typeable)
+newtype TArray i e = TArray (Array i (TVar e)) deriving (Eq, Typeable)
 
 instance MArray TArray e STM where
     getBounds (TArray a) = return (bounds a)

Context:

[rename these tests from conc* to stm*
Simon Marlow <marlowsd@gmail.com>**20100330142623
 Ignore-this: 61a8bd5a522fd4d3b9728ec9cd65a07
] 
[suppress some warnings
Simon Marlow <marlowsd@gmail.com>**20100330135643
 Ignore-this: 8cfb32893256376c6774057a2ffd935a
] 
[Update tests for GHC 6.12
Simon Marlow <marlowsd@gmail.com>**20091014132627
 Ignore-this: 63ae2f666a09717ff2479bc5fb61a4a2
] 
[add test for #3049
Simon Marlow <marlowsd@gmail.com>**20090624141507
 Ignore-this: 433ff5240ca75661c9b58f3540d73961
] 
[add readIORef to sequential implementation
Ross Paterson <ross@soi.city.ac.uk>**20090116184642] 
[TAG stm 2.1.1.2
Ian Lynagh <igloo@earth.li>**20081212151705] 
[Add a bit of strictness to avoid this test getting into a bad state
Simon Marlow <marlowsd@gmail.com>**20081120124551] 
[Bump version number to 2.1.1.2
Duncan Coutts <duncan@haskell.org>**20081022024341] 
[Make it build with base 3 and 4
Duncan Coutts <duncan@haskell.org>**20081022024205
 Uses exactly the same code as before for base 3. So no code changes.
 For ghc-6.10 it is forced to always use base4 so there's no way to
 build the package two different ways for a single ghc version.
] 
[Use new-style cabal syntax
Duncan Coutts <duncan@haskell.org>**20081022023352] 
[add readTVarIO :: TVar a -> IO a
Simon Marlow <marlowsd@gmail.com>**20081010112731] 
[doc typo
Simon Marlow <marlowsd@gmail.com>**20081003132415] 
[Fix this test (exception changes)
Simon Marlow <marlowsd@gmail.com>**20081002094257] 
[follow Control.Exception changes
Simon Marlow <marlowsd@gmail.com>**20080926235120] 
[add test for #2411
Simon Marlow <marlowsd@gmail.com>**20080926233849] 
[TAG 6.10 branch has been forked
Ian Lynagh <igloo@earth.li>**20080919123439] 
Patch bundle hash:
b58e4b0563ef550e757576fbe47c72c373735ece