Comment
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sun, 6 Dec 2009 16:15:43 +0000 (16:15 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sun, 6 Dec 2009 16:15:43 +0000 (16:15 +0000)
Data/Vector/Fusion/Stream/Monadic.hs

index 7b9ba9c..832746d 100644 (file)
@@ -1050,10 +1050,9 @@ 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.
+-- The Enum class is broken for this, there just doesn't seem to be a
+-- way to implement this generically. We have specialise for as many types as
+-- we can but this doesn't help in polymorphic loops.
 
 -- | Enumerate values from @x@ to @y@
 enumFromTo :: (Enum a, Monad m) => a -> a -> Stream m a