[Haskell-cafe] Has character changed in GHC 6.8?
felipe.lessa at gmail.com
Tue Jan 22 04:45:14 EST 2008
2008/1/22 Magnus Therning <magnus at therning.org>:
> 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.
More information about the Haskell-Cafe