Re: [sv-bc] FW: Manti 1345, 1711: unique if/case

From: Steven Sharp <sharp_at_.....>
Date: Mon Nov 19 2007 - 11:59:35 PST
>From: Gordon Vreugdenhil <gordonv@model.com>


>Oh, I'm certainly fine with disallowing side effects in unique case
>completely.  If we want to go that route, the whole issue is moot.

Forbidding increment/decrement/assignment operators would be easy
enough, but I don't see a practical way to disallow side effects from
function calls except by forbidding function calls.  That seems like
overkill.  If we want to take this route, I think it should take the
form of saying that the behavior is undefined if there are side effects.


Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Nov 19 12:00:20 2007

This archive was generated by hypermail 2.1.8 : Mon Nov 19 2007 - 12:00:38 PST