Change stream/unstream rule
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sat, 12 Jul 2008 09:32:36 +0000 (09:32 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sat, 12 Jul 2008 09:32:36 +0000 (09:32 +0000)
Data/Vector/IVector.hs

index b0569c4..b35a0f0 100644 (file)
@@ -135,13 +135,13 @@ stream v = v `seq` (Stream.unfold get 0 `Stream.sized` Exact n)
 
 -- | Create a vector from a 'Stream'
 unstream :: IVector v a => Stream a -> v a
 
 -- | Create a vector from a 'Stream'
 unstream :: IVector v a => Stream a -> v a
-{-# INLINE_STREAM unstream #-}
+{-# INLINE unstream #-}
 unstream s = new (Mut.unstream s)
 
 {-# RULES
 
 "stream/unstream [IVector]" forall s.
 unstream s = new (Mut.unstream s)
 
 {-# RULES
 
 "stream/unstream [IVector]" forall s.
-  stream (unstream s) = s
+  stream (new (Mut.unstream s)) = s
 
 "Mut.unstream/stream/new [IVector]" forall p.
   Mut.unstream (stream (new p)) = p
 
 "Mut.unstream/stream/new [IVector]" forall p.
   Mut.unstream (stream (new p)) = p