Evaluation order control between two expressions

[Takenobu Tani]

Dear Community,

Apologies if I'm missing context.

Does Haskell 2020 specify evaluation order control by `pseq`?

We use `pseq` to guarantee the evaluation order between two expressions.
But Haskell 2010 did not specify how to control the evaluation order
between two expressions.
(only specified `seq` in Haskell 2010 section 6.2 [1]. but `seq` don't
guarantee the order. [2])

I think it's better to explicitly specify `pseq` as standard way.

Already discussed? or out of scope?

[1]:
https://www.haskell.org/onlinereport/haskell2010/haskellch6.html#x13-1260006.2
[2]:
https://www.schoolofhaskell.com/user/snoyberg/general-haskell/advanced/evaluation-order-and-state-tokens

Regards,
Takenobu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-prime/attachments/20160429/0833c098/attachment.html>