Re: comments on the comments...
I think that that the section 9.8 is a proper place,
but we need to say this explicitly:
"If x is a common interval then newDec(x) shall return x_com."
-Dima
----- Original Message -----
From: PryceJD1@xxxxxxxxxxxxx
To: dmitry.nadezhin@xxxxxxxxxx
Cc: STDS-1788@xxxxxxxxxxxxxxxxx
Sent: Saturday, March 7, 2015 12:44:32 PM GMT +04:00 Abu Dhabi / Muscat
Subject: Re: comments on the comments...
Dmitry
On 7 Mar 2015, at 04:47, Dmitry Nadezhin <dmitry.nadezhin@xxxxxxxxxx> wrote:
> The specification in subsection 9.4.5 "Portable decorated intervals" uses newDec(x).
> Is section 9.8 "Operations on/with decorations" a proper place to formulate this property of newDec ?
It's a fair question. Can you suggest a more logical place to put newDec()?
John Pryce