Andy Wingo <wi...@pobox.com> skribis: > Not sure what to do. The part of me that wants to do aggressive CSE > wants to transform to a form that fixes order of evaluation, but the > part of me that wants to be able to shuffle values using the Dybvig > algorithm wants to do the direct form. Dunno!
I don’t know either ;-), but I think the guideline should be to give as much freedom as possible to the compiler. Leaving the evaluation order unspecified is one way to do it; fixing it internally it not contradictory with that, as long as it remains Officially Unspecified. My €2e-3. Ludo’.
