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

Felipe Lessa 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 mailing list