Remove bogus rule
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sun, 18 Apr 2010 16:08:17 +0000 (16:08 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sun, 18 Apr 2010 16:08:17 +0000 (16:08 +0000)
Data/Vector/Generic.hs

index 9c4c765..849b047 100644 (file)
@@ -342,13 +342,6 @@ force :: Vector v a => v a -> v a
 {-# INLINE_STREAM force #-}
 force v = new (clone v)
 
-{-# RULES
-
-"force/unstream [Vector]" forall s.
-  force (new (New.unstream s)) = new (New.unstream s)
-
- #-}
-
 -- Accessing individual elements
 -- -----------------------------