2008/1/22 Magnus Therning <[EMAIL PROTECTED]>: > I vaguely remember that in GHC 6.6 code like this > > length $ map ord "a string" > > being able able to generate a different answer than > > length "a string"
I guess it's not very difficult to prove that
∀ f xs. length xs == length (map f xs)
even in the presence of seq.
--
Felipe.
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
