Yes, same for time. I've contacted the maintainers a while ago, and will do so<br>again today.<br><br><br>Cheers,<br>Pedro<br><br><div class="gmail_quote">On Tue, Feb 12, 2013 at 11:07 AM, Simon Peyton-Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hang on... vector has an upstream repo; see<br>
<a href="http://hackage.haskell.org/trac/ghc/wiki/Repositories" target="_blank">http://hackage.haskell.org/trac/ghc/wiki/Repositories</a><br>
and in particular the "Upstream repo?" bullet.<br>
So we may need to do more than push to the mirror?<br>
<br>
Simon<br>
<div><div class="h5"><br>
| -----Original Message-----<br>
| From: <a href="mailto:ghc-commits-bounces@haskell.org">ghc-commits-bounces@haskell.org</a> [mailto:<a href="mailto:ghc-commits-">ghc-commits-</a><br>
| <a href="mailto:bounces@haskell.org">bounces@haskell.org</a>] On Behalf Of José Pedro Magalhães<br>
| Sent: 12 February 2013 10:41<br>
| To: <a href="mailto:ghc-commits@haskell.org">ghc-commits@haskell.org</a><br>
| Subject: [commit: vector] master: Implement poly-kinded Typeable<br>
| (8b27167)<br>
|<br>
| Repository : ssh://<a href="http://darcs.haskell.org//srv/darcs/packages/vector" target="_blank">darcs.haskell.org//srv/darcs/packages/vector</a><br>
|<br>
| On branch : master<br>
|<br>
| <a href="http://hackage.haskell.org/trac/ghc/changeset/8b271670f79a3b50d7e15ca924" target="_blank">http://hackage.haskell.org/trac/ghc/changeset/8b271670f79a3b50d7e15ca924</a><br>
| 878212f042f259<br>
|<br>
| >---------------------------------------------------------------<br>
|<br>
| commit 8b271670f79a3b50d7e15ca924878212f042f259<br>
| Author: Jose Pedro Magalhaes <<a href="mailto:jpm@cs.ox.ac.uk">jpm@cs.ox.ac.uk</a>><br>
| Date: Thu Feb 7 14:00:33 2013 +0000<br>
|<br>
| Implement poly-kinded Typeable<br>
|<br>
| This patch makes the Data.Typeable.Typeable class work with<br>
| arguments of any<br>
| kind. In particular, this removes the Typeable1..7 class hierarchy,<br>
| greatly<br>
| simplyfing the whole Typeable story. Also added is the<br>
| AutoDeriveTypeable<br>
| language extension, which will automatically derive Typeable for all<br>
| types and<br>
| classes declared in that module. Since there is now no good reason<br>
| to give<br>
| handwritten instances of the Typeable class, those are ignored (for<br>
| backwards<br>
| compatibility), and a warning is emitted.<br>
|<br>
| The old, kind-* Typeable class is now called OldTypeable, and lives<br>
| in the<br>
| Data.OldTypeable module. It is deprecated, and should be removed in<br>
| some future<br>
| version of GHC.<br>
|<br>
| >---------------------------------------------------------------<br>
|<br>
| Data/Vector/Generic.hs | 9 +++++++++<br>
| Data/Vector/Unboxed/Base.hs | 14 +++++++++++++-<br>
| 2 files changed, 22 insertions(+), 1 deletions(-)<br>
|<br>
| diff --git a/Data/Vector/Generic.hs b/Data/Vector/Generic.hs index<br>
| b8f2e81..f17ff23 100644<br>
| --- a/Data/Vector/Generic.hs<br>
| +++ b/Data/Vector/Generic.hs<br>
| @@ -194,7 +194,12 @@ import Prelude hiding ( length, null,<br>
| showsPrec )<br>
|<br>
| import qualified Text.Read as Read<br>
| +<br>
| +#if __GLASGOW_HASKELL__ >= 707<br>
</div></div>| +import Data.Typeable ( Typeable, gcast1 ) #else<br>
<div class="im">| import Data.Typeable ( Typeable1, gcast1 )<br>
| +#endif<br>
|<br>
| #include "vector.h"<br>
|<br>
| @@ -2020,7 +2025,11 @@ mkType :: String -> DataType {-# INLINE mkType<br>
| #-} mkType = mkNoRepType<br>
|<br>
| +#if __GLASGOW_HASKELL__ >= 707<br>
</div>| +dataCast :: (Vector v a, Data a, Typeable v, Typeable t) #else<br>
<div class="im">| dataCast :: (Vector v a, Data a, Typeable1 v, Typeable1 t)<br>
| +#endif<br>
| => (forall d. Data d => c (t d)) -> Maybe (c (v a)) {-#<br>
| INLINE dataCast #-} dataCast f = gcast1 f diff --git<br>
| a/Data/Vector/Unboxed/Base.hs b/Data/Vector/Unboxed/Base.hs index<br>
| 2d9822e..359b001 100644<br>
| --- a/Data/Vector/Unboxed/Base.hs<br>
| +++ b/Data/Vector/Unboxed/Base.hs<br>
| @@ -1,4 +1,7 @@<br>
| {-# LANGUAGE MultiParamTypeClasses, TypeFamilies, FlexibleContexts #-}<br>
| +#if __GLASGOW_HASKELL__ >= 707<br>
</div>| +{-# LANGUAGE DeriveDataTypeable, StandaloneDeriving #-} #endif<br>
<div class="HOEnZb"><div class="h5">| {-# OPTIONS_HADDOCK hide #-}<br>
|<br>
| -- |<br>
| @@ -29,6 +32,9 @@ import Data.Word ( Word, Word8, Word16, Word32, Word64<br>
| ) import Data.Int ( Int8, Int16, Int32, Int64 ) import Data.Complex<br>
|<br>
| +#if __GLASGOW_HASKELL__ >= 707<br>
| +import Data.Typeable ( Typeable )<br>
| +#else<br>
| import Data.Typeable ( Typeable1(..), Typeable2(..), mkTyConApp, #if<br>
| MIN_VERSION_base(4,4,0)<br>
| mkTyCon3<br>
| @@ -36,6 +42,8 @@ import Data.Typeable ( Typeable1(..), Typeable2(..),<br>
| mkTyConApp,<br>
| mkTyCon<br>
| #endif<br>
| )<br>
| +#endif<br>
| +<br>
| import Data.Data ( Data(..) )<br>
|<br>
| #include "vector.h"<br>
| @@ -53,7 +61,10 @@ class (G.Vector Vector a, M.MVector MVector a) =><br>
| Unbox a<br>
| -- -----------------<br>
| -- Data and Typeable<br>
| -- -----------------<br>
| -<br>
| +#if __GLASGOW_HASKELL__ >= 707<br>
| +deriving instance Typeable Vector<br>
| +deriving instance Typeable MVector<br>
| +#else<br>
| #if MIN_VERSION_base(4,4,0)<br>
| vectorTyCon = mkTyCon3 "vector"<br>
| #else<br>
| @@ -65,6 +76,7 @@ instance Typeable1 Vector where<br>
|<br>
| instance Typeable2 MVector where<br>
| typeOf2 _ = mkTyConApp (vectorTyCon "Data.Vector.Unboxed.Mutable"<br>
| "MVector") []<br>
| +#endif<br>
|<br>
| instance (Data a, Unbox a) => Data (Vector a) where<br>
| gfoldl = G.gfoldl<br>
|<br>
|<br>
|<br>
| _______________________________________________<br>
| ghc-commits mailing list<br>
| <a href="mailto:ghc-commits@haskell.org">ghc-commits@haskell.org</a><br>
| <a href="http://www.haskell.org/mailman/listinfo/ghc-commits" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-commits</a><br>
</div></div></blockquote></div><br>