Add a seq/sum rule
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 27 May 2010 09:04:49 +0000 (09:04 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 27 May 2010 09:04:49 +0000 (09:04 +0000)
dph-prim-interface/interface/DPH_Interface.h

index b383a6c..7ba0025 100644 (file)
@@ -119,6 +119,13 @@ and :: Array Bool -> Bool
 sum :: (Num a, Elt a) => Array a -> a
 {-# INLINE_BACKEND sum #-}
 
+{-# RULES
+
+"seq/sum" forall xs e.
+  seq (sum xs) e = seq xs e
+
+  #-}
+
 scan :: Elt a => (a -> a -> a) -> a -> Array a -> Array a
 {-# INLINE_BACKEND scan #-}