(j3.2006) parameterized derived types

[Robert Corbett]

On 12/11/15 05:52, Tom Clune wrote:
> I await a plausible example. Certainly it is easy to create an artificial 
> example, but using FP operations to determine array lengths is vanishingly 
> rare in my experience. And I don?t dispute that exotic HW would make it easier 
> to demonstrate the problem. And if the expression is vulnerable to roundoff, 
> it begs the question as to what the intent really was.
>
> Note. I?m not denying the possibility that someone will show me a plausible 
> example. And, I?m fully ready to reverse my position as a consequence. I 
> suppose mostly, I?m challenging others to come up with that plausible example.

I do not know of any programs apart from programs written for test suites that 
use specification expressions that contain floating-point subexpressions. I am 
willing to take a large hit to the performance of programs that use such 
specification expressions, because I do not believe that any important programs 
use them.

Robert Corbett