http://d.puremagic.com/issues/show_bug.cgi?id=6074


bearophile_h...@eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_h...@eml.cc


--- Comment #5 from bearophile_h...@eml.cc 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: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

Reply via email to