git.iko.soy/text
on master help sign in
Apply Nicolas's stream equality fix

--HG-- extra : convert_revision : f0ddaac4369b1c86d7d8791b1102b47e3996a49c

commit37fc6b2f569f781b533f4e79608553aea0ed47b7 authorBryan O'Sullivan <bos@serpentine.com> dateSat 28 Feb 2009, 21:47 (18 years ago) parent8853e59
2 files changed+6−25
compare with master
unifiedsplit
Data/Text/Fusion.hs−20 Data/Text/Fusion/Internal.hs+6−5
Data/Text/Fusion.hs−20
@@ -172,26 +172,6 @@ unstream (Stream next0 s0 len)
172172{-# INLINE [0] unstream #-}
173173{-# RULES "STREAM stream/unstream fusion" forall s. stream (unstream s) = s #-}
174174
175−-- | The empty stream.
176−empty :: Stream Char
177−empty = Stream next () 0
178− where next _ = Done
179−{-# INLINE [0] empty #-}
180−
181−-- | /O(n)/ Determines if two streams are equal.
182−eq :: Ord a => Stream a -> Stream a -> Bool
183−eq (Stream next1 s1 _) (Stream next2 s2 _) = cmp (next1 s1) (next2 s2)
184− where
185− cmp Done Done = True
186− cmp Done _ = False
187− cmp _ Done = False
188− cmp (Skip s1') (Skip s2') = cmp (next1 s1') (next2 s2')
189− cmp (Skip s1') x2 = cmp (next1 s1') x2
190− cmp x1 (Skip s2') = cmp x1 (next2 s2')
191− cmp (Yield x1 s1') (Yield x2 s2') = x1 == x2 &&
192− cmp (next1 s1') (next2 s2')
193−{-# SPECIALISE eq :: Stream Char -> Stream Char -> Bool #-}
194−
195175streamError :: String -> String -> a
196176streamError func msg = P.error $ "Data.Text.Fusion." ++ func ++ ": " ++ msg
197177
Data/Text/Fusion/Internal.hs+6−5
@@ -67,18 +67,19 @@ empty = Stream next () 0
6767{-# INLINE [0] empty #-}
6868
6969-- | /O(n)/ Determines if two streams are equal.
70−eq :: Ord a => Stream a -> Stream a -> Bool
71−{-# INLINE eq #-}
70+eq :: (Eq a) => Stream a -> Stream a -> Bool
7271eq (Stream next1 s1 _) (Stream next2 s2 _) = cmp (next1 s1) (next2 s2)
7372 where
74− cmp Done Done = True
75− cmp Done _ = False
76− cmp _ Done = False
73+ cmp Done Done = True
7774 cmp (Skip s1') (Skip s2') = cmp (next1 s1') (next2 s2')
7875 cmp (Skip s1') x2 = cmp (next1 s1') x2
7976 cmp x1 (Skip s2') = cmp x1 (next2 s2')
77+ cmp Done _ = False
78+ cmp _ Done = False
8079 cmp (Yield x1 s1') (Yield x2 s2') = x1 == x2 &&
8180 cmp (next1 s1') (next2 s2')
81+{-# INLINE [0] eq #-}
82+{-# SPECIALISE eq :: Stream Char -> Stream Char -> Bool #-}
8283
8384streamList :: [a] -> Stream a
8485{-# INLINE streamList #-}