Move comment
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Wed, 2 Dec 2009 15:06:45 +0000 (15:06 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Wed, 2 Dec 2009 15:06:45 +0000 (15:06 +0000)
Data/Vector/Fusion/Stream/Monadic.hs
Data/Vector/Generic.hs

index d28de68..014f4f3 100644 (file)
@@ -948,6 +948,11 @@ scanl1M' f (Stream step s sz) = Stream step' (s, Nothing) sz
 -- Enumerations
 -- ------------
 
+-- FIXME: The Enum class is broken for this, there just doesn't seem to be a
+-- way to implement this generically. We have to either specialise (which
+-- doesn't help in polymorphic loops) or define a new Enum-like class with a
+-- proper interface.
+
 -- | Enumerate values from @x@ to @y@
 enumFromTo :: (Enum a, Monad m) => a -> a -> Stream m a
 {-# INLINE_STREAM enumFromTo #-}
index 95e55a2..8f20169 100644 (file)
@@ -643,10 +643,6 @@ scanl1' f = unstream . inplace (MStream.scanl1' f) . stream
 -- Enumeration
 -- -----------
 
--- FIXME: The Enum class is irreparably broken, there just doesn't seem to be a
--- way to implement this generically. Either specialise this or define a new
--- Enum-like class with a proper interface.
-
 enumFromTo :: (Vector v a, Enum a) => a -> a -> v a
 {-# INLINE enumFromTo #-}
 enumFromTo x y = unstream (Stream.enumFromTo x y)