--- Comment #8 from Walter Bright <> 2011-05-30 
01:34:52 PDT ---
(In reply to comment #5)
> 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.

It is not necessary to disallow impure asserts to do static analysis.

Nor is it an issue of taking asserts "seriously" or not.

BTW, the optimizer already does quite a bit of static analysis. That's what
optimizers do. Of course an optimizer doesn't require everything to be pure. It
would be a fairly useless one if it did.

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

Reply via email to