Commits

Aleksey Khudyakov  committed 55755c0

Fusion rule which doesn't work

  • Participants
  • Parent commits 4a5ddff

Comments (0)

Files changed (1)

File Data/Vector/Fixed/Cont.hs

 vectorM = runContVecT construct
 {-# INLINE[1] vectorM #-}
 
+{-# RULES "cvec/vector"
+   forall x. cvec (vector x) = x
+  #-}
+
+
 head :: forall n a. Arity (S n) => Fun (S n) a a
 head = Fun $ accum (\(T_head m) a -> T_head $ case m of { Nothing -> Just a; x -> x })
                    (\(T_head (Just x)) -> x)