What    |Removed                     |Added
                 CC|                            |

--- Comment #5 from 2011-05-29 13:17:29 PDT ---
(In reply to comment #4)
> This is as designed. Sometimes, checking code may have side effects, but it is
> up to the user to ensure that they do not affect the program. Forcing the
> assert expression to be pure is too restrictive.
> Not a bug.

A reminder: forbidding side effects in asserts is useful for static
analyzability of the asserts. Languages that take Contracts seriously don't
allow generic code in Contracts right to allow a simpler analyzability. They
even define a specific expression language for this purpose.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to