[Haskell-cafe] pure programs

[Jules Bean]

Jason Dusek wrote:
>   Though that seems reasonable, it is not, in general, true. For
>   example,    System.Info.os    is generally treated as pure,
>   though it is not. It's not clear to me how to disambiguate
>   these "born again" values from really pure values.

It seems to me no one addressed your actual point.

System.Info is broken. "os" has the wrong type.

Sorry about that. There is quite a lot of brokenness in the standard 
libs which stops pure functions being pure. It's a shame IMO.

Jules