[clean-list] Clean in the Real World

[Vincent Zweije]

On Wed, Dec 17, 2003 at 11:32:57AM +1100, Fergus Henderson wrote:

||  On 15-Dec-2003, Marco Kesseler <m.wittebrood@mailbox.kun.nl> wrote:

||  > Well, luckily our programs only have to be referentially transparent
||  > if they terminate.
||  >
||  > In practice, this is a non-issue.
||
||  If the compiler transforms a terminating program into a non-terminating
||  one, that is usually considered to be a rather serious issue :)

The reverse is also a serious issue, because your program might suddenly
no longer terminate if you switch compiler or compiler options. You
don't want that.                                                Vincent.