[Haskell-cafe] Has character changed in GHC 6.8?

[Felipe Lessa]

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.

-- 
Felipe.